| <component name="ProjectRunConfigurationManager"> |
| <configuration default="false" name="jshell" type="Application" factoryName="Application"> |
| <extension name="coverage" enabled="false" merge="false" sample_coverage="true" runner="idea" /> |
| <option name="MAIN_CLASS_NAME" value="jdk.internal.jshell.tool.JShellTool" /> |
| <option name="VM_PARAMETERS" value='@XPATCH@ --add-exports=jdk.jshell/jdk.internal.jshell.tool=ALL-UNNAMED' /> |
| <option name="PROGRAM_PARAMETERS" value="" /> |
| <option name="WORKING_DIRECTORY" value="file://$PROJECT_DIR$" /> |
| <option name="ALTERNATIVE_JRE_PATH_ENABLED" value="true" /> |
| <option name="ALTERNATIVE_JRE_PATH" value="@IDEA_TARGET_JDK@" /> |
| <option name="ENABLE_SWING_INSPECTOR" value="false" /> |
| <option name="ENV_VARIABLES" /> |
| <option name="PASS_PARENT_ENVS" value="true" /> |
| <module name="langtools" /> |
| <envs /> |
| <method> |
| <option name="Make" enabled="false" /> |
| <option name="AntTarget" enabled="true" antfile="file://$PROJECT_DIR$/.idea/build.xml" target="build-all-classes" /> |
| </method> |
| </configuration> |
| </component> |
