jdk

1
<?xml version="1.0" encoding="UTF-8"?>
2
<project version="4">
3
  <component name="EntryPointsManager">
4
    <entry_points version="2.0" />
5
  </component>
6
  <component name="JTRegService">
7
    <path>@IDEA_JTREG_HOME@</path>
8
    <workDir>build</workDir>
9
    <jre alt="true" value="@IDEA_TARGET_JDK@" />
10
    <options>@XPATCH@</options>
11
    <ant>
12
      <target file="file://$PROJECT_DIR$/make/ide/idea/langtools/build.xml" name="build-all-classes" />
13
    </ant>
14
  </component>
15
  <component name="ProjectRootManager" version="2" languageLevel="JDK_1_8" assert-keyword="true" jdk-15="true" project-jdk-name="1.8" project-jdk-type="JavaSDK">
16
    <output url="file://$PROJECT_DIR$/build" />
17
  </component>
18
</project>
19