.idea/artifacts/RunJPF.xml

   1 <component name="ArtifactManager">
   2   <artifact type="jar" build-on-make="true" name="RunJPF">
   3     <output-path>$PROJECT_DIR$/build</output-path>
   4     <root id="archive" name="RunJPF.jar">
   5       <element id="directory" name="META-INF">
   6         <element id="file-copy" path="$PROJECT_DIR$/META-INF/RunJPF/MANIFEST.MF" />
   7       </element>
   8       <element id="directory" name="gov">
   9         <element id="directory" name="nasa">
  10           <element id="directory" name="jpf">
  11             <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/Config.class" />
  12             <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/Config$MissingRequiredKeyException.class" />
  13             <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/JPFClassLoader.class" />
  14             <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/JPFConfigException.class" />
  15             <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/JPFShell.class" />
  16             <element id="directory" name="tool">
  17               <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/tool/Run.class" />
  18               <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/tool/RunJPF.class" />
  19             </element>
  20             <element id="directory" name="util">
  21               <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/util/JPFSiteUtils.class" />
  22               <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/util/FileUtils.class" />
  23               <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/util/StringMatcher.class" />
  24               <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/util/Pair.class" />
  25             </element>
  26             <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/JPFException.class" />
  27             <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/ConfigChangeListener.class" />
  28           </element>
  29         </element>
  30       </element>
  31     </root>
  32   </artifact>
  33 </component>