equal
deleted
inserted
replaced
7 <path>@IDEA_JTREG_HOME@</path> |
7 <path>@IDEA_JTREG_HOME@</path> |
8 <workDir>build</workDir> |
8 <workDir>build</workDir> |
9 <jre alt="true" value="@IDEA_TARGET_JDK@" /> |
9 <jre alt="true" value="@IDEA_TARGET_JDK@" /> |
10 <options>@XPATCH@</options> |
10 <options>@XPATCH@</options> |
11 <ant> |
11 <ant> |
12 <target file="file://$PROJECT_DIR$/.idea/build.xml" name="build-all-classes" /> |
12 <target file="file://$PROJECT_DIR$/build/.idea-support/build.xml" name="build-all-classes" /> |
13 </ant> |
13 </ant> |
14 </component> |
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"> |
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$/.idea/out" /> |
16 <output url="file://$PROJECT_DIR$/build/.idea-support/out" /> |
17 </component> |
17 </component> |
18 </project> |
18 </project> |
19 |
|
20 |
|