langtools/make/intellij/misc.xml
author ihse
Sun, 23 Apr 2017 21:11:03 +0200
changeset 44786 99d2f0019a0a
parent 41517 ae82072ecfa7
permissions -rw-r--r--
8178316: Add JVM-MANAGEMENT-MIB.mib to jdk/src/java.management/share/specs/ Reviewed-by: erikj, mchung

<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
  <component name="EntryPointsManager">
    <entry_points version="2.0" />
  </component>
  <component name="JTRegService">
    <path>@IDEA_JTREG_HOME@</path>
    <workDir>build</workDir>
    <jre alt="true" value="@IDEA_TARGET_JDK@" />
    <options>@XPATCH@</options>
    <ant>
      <target file="file://$PROJECT_DIR$/.idea/build.xml" name="build-all-classes" />
    </ant>
  </component>
  <component name="ProjectRootManager" version="2" languageLevel="JDK_1_8" assert-keyword="true" jdk-15="true" project-jdk-name="1.8" project-jdk-type="JavaSDK">
    <output url="file://$PROJECT_DIR$/.idea/out" />
  </component>
</project>