jshell.xml revision 3437:4344c9ad3c9d 
1<component name="ProjectRunConfigurationManager">
2  <configuration default="false" name="jshell" type="Application" factoryName="Application">
3    <extension name="coverage" enabled="false" merge="false" sample_coverage="true" runner="idea" />
4    <option name="MAIN_CLASS_NAME" value="jdk.internal.jshell.tool.JShellTool" />
5    <option name="VM_PARAMETERS" value='@XPATCH@ -XaddExports:jdk.jshell/jdk.internal.jshell.tool=ALL-UNNAMED' />
6    <option name="PROGRAM_PARAMETERS" value="" />
7    <option name="WORKING_DIRECTORY" value="file://$PROJECT_DIR$" />
8    <option name="ALTERNATIVE_JRE_PATH_ENABLED" value="true" />
9    <option name="ALTERNATIVE_JRE_PATH" value="@IDEA_TARGET_JDK@" />
10    <option name="ENABLE_SWING_INSPECTOR" value="false" />
11    <option name="ENV_VARIABLES" />
12    <option name="PASS_PARENT_ENVS" value="true" />
13    <module name="langtools" />
14    <envs />
15    <method>
16      <option name="Make" enabled="false" />
17      <option name="AntTarget" enabled="true" antfile="file://$PROJECT_DIR$/.idea/build.xml" target="build-all-classes" />
18    </method>
19  </configuration>
20</component>
21