2016-05-10 12:34:30 +00:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
|
<project version="4">
|
|
|
|
|
<component name="EntryPointsManager">
|
|
|
|
|
<entry_points version="2.0" />
|
|
|
|
|
</component>
|
2017-09-12 17:03:56 +00:00
|
|
|
<component name="JTRegService">
|
|
|
|
|
<path>jtreg_home</path> <!-- this will be replaced -->
|
|
|
|
|
<workDir>build</workDir>
|
|
|
|
|
<jre alt="true" value="images_jdk" /> <!-- this will be replaced -->
|
|
|
|
|
<options></options>
|
|
|
|
|
<ant>
|
|
|
|
|
<target file="file://$PROJECT_DIR$/.idea/build.xml" name="images" />
|
|
|
|
|
</ant>
|
|
|
|
|
</component>
|
2016-05-10 12:34:30 +00:00
|
|
|
<component name="ProjectRootManager" version="2" languageLevel="JDK_1_9" assert-keyword="true" jdk-15="true">
|
|
|
|
|
<output url="file://$PROJECT_DIR$/build/idea/out" />
|
|
|
|
|
</component>
|
|
|
|
|
</project>
|
