2016-05-10 13:34:30 +01:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
|
<project version="4">
|
|
|
|
|
<component name="EntryPointsManager">
|
|
|
|
|
<entry_points version="2.0" />
|
|
|
|
|
</component>
|
2017-09-12 19:03:56 +02:00
|
|
|
<component name="JTRegService">
|
2018-08-31 18:01:47 +01:00
|
|
|
<path>###JTREG_HOME###</path>
|
|
|
|
|
<workDir>###BUILD_DIR###</workDir>
|
|
|
|
|
<jre alt="true" value="###IMAGES_DIR###" />
|
2017-09-12 19:03:56 +02:00
|
|
|
<options></options>
|
|
|
|
|
<ant>
|
2020-05-19 15:49:46 +02:00
|
|
|
<target file="file://###ROOT_DIR###/make/ide/idea/jdk/build.xml" name="images" />
|
2017-09-12 19:03:56 +02:00
|
|
|
</ant>
|
|
|
|
|
</component>
|
2016-05-10 13:34:30 +01:00
|
|
|
<component name="ProjectRootManager" version="2" languageLevel="JDK_1_9" assert-keyword="true" jdk-15="true">
|
2018-08-31 18:01:47 +01:00
|
|
|
<output url="file://###BUILD_DIR###" />
|
2016-05-10 13:34:30 +01:00
|
|
|
</component>
|
|
|
|
|
</project>
|
