equal
deleted
inserted
replaced
1 <component name="ProjectRunConfigurationManager"> |
1 <component name="ProjectRunConfigurationManager"> |
2 <configuration default="false" name="jshell" type="Application" factoryName="Application"> |
2 <configuration default="false" name="jshell" type="Application" factoryName="Application"> |
3 <extension name="coverage" enabled="false" merge="false" sample_coverage="true" runner="idea" /> |
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" /> |
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" /> |
5 <option name="VM_PARAMETERS" value='@XPATCH@ -XaddExports:jdk.jshell/jdk.internal.jshell.tool=ALL-UNNAMED' /> |
6 <option name="PROGRAM_PARAMETERS" value="" /> |
6 <option name="PROGRAM_PARAMETERS" value="" /> |
7 <option name="WORKING_DIRECTORY" value="file://$PROJECT_DIR$" /> |
7 <option name="WORKING_DIRECTORY" value="file://$PROJECT_DIR$" /> |
8 <option name="ALTERNATIVE_JRE_PATH_ENABLED" value="true" /> |
8 <option name="ALTERNATIVE_JRE_PATH_ENABLED" value="true" /> |
9 <option name="ALTERNATIVE_JRE_PATH" value="@IDEA_TARGET_JDK@" /> |
9 <option name="ALTERNATIVE_JRE_PATH" value="@IDEA_TARGET_JDK@" /> |
10 <option name="ENABLE_SWING_INSPECTOR" value="false" /> |
10 <option name="ENABLE_SWING_INSPECTOR" value="false" /> |