From: Jeanderson Candido <jeandersonbc@gmail.com>
Date: Mon, 18 Jun 2018 18:29:14 +0000 (-0300)
Subject: Removed IDE-related files
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=6b734c1aecd121c7fcaca98a99d43f34fedefdfa;p=jpf-core.git

Removed IDE-related files
---

diff --git a/.classpath b/.classpath
deleted file mode 100644
index 2721217..0000000
--- a/.classpath
+++ /dev/null
@@ -1,11 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<classpath>
-	<classpathentry kind="src" output="build/main" path="src/main"/>
-	<classpathentry kind="src" output="build/peers" path="src/peers"/>
-	<classpathentry kind="src" output="build/classes" path="src/classes"/>
-	<classpathentry kind="src" output="build/annotations" path="src/annotations"/>
-	<classpathentry kind="src" output="build/examples" path="src/examples"/>
-	<classpathentry kind="src" output="build/tests" path="src/tests"/>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
-	<classpathentry kind="output" path="build"/>
-</classpath>
diff --git a/.idea/.name b/.idea/.name
deleted file mode 100644
index 3836a03..0000000
--- a/.idea/.name
+++ /dev/null
@@ -1 +0,0 @@
-jpf-core
\ No newline at end of file
diff --git a/.idea/annotations.iml b/.idea/annotations.iml
deleted file mode 100644
index f8666fe..0000000
--- a/.idea/annotations.iml
+++ /dev/null
@@ -1,13 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<module type="JAVA_MODULE" version="4">
-  <component name="NewModuleRootManager" inherit-compiler-output="false">
-    <output url="file://$MODULE_DIR$/build/annotations" />
-    <output-test url="file://$MODULE_DIR$/build/annotations" />
-    <exclude-output />
-    <content url="file://$MODULE_DIR$/src/annotations">
-      <sourceFolder url="file://$MODULE_DIR$/src/annotations" isTestSource="false" />
-    </content>
-    <orderEntry type="inheritedJdk" />
-    <orderEntry type="sourceFolder" forTests="false" />
-  </component>
-</module>
diff --git a/.idea/artifacts/RunJPF.xml b/.idea/artifacts/RunJPF.xml
deleted file mode 100644
index 71c8dfa..0000000
--- a/.idea/artifacts/RunJPF.xml
+++ /dev/null
@@ -1,33 +0,0 @@
-<component name="ArtifactManager">
-  <artifact type="jar" build-on-make="true" name="RunJPF">
-    <output-path>$PROJECT_DIR$/build</output-path>
-    <root id="archive" name="RunJPF.jar">
-      <element id="directory" name="META-INF">
-        <element id="file-copy" path="$PROJECT_DIR$/META-INF/RunJPF/MANIFEST.MF" />
-      </element>
-      <element id="directory" name="gov">
-        <element id="directory" name="nasa">
-          <element id="directory" name="jpf">
-            <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/Config.class" />
-            <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/Config$MissingRequiredKeyException.class" />
-            <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/JPFClassLoader.class" />
-            <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/JPFConfigException.class" />
-            <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/JPFShell.class" />
-            <element id="directory" name="tool">
-              <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/tool/Run.class" />
-              <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/tool/RunJPF.class" />
-            </element>
-            <element id="directory" name="util">
-              <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/util/JPFSiteUtils.class" />
-              <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/util/FileUtils.class" />
-              <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/util/StringMatcher.class" />
-              <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/util/Pair.class" />
-            </element>
-            <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/JPFException.class" />
-            <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/ConfigChangeListener.class" />
-          </element>
-        </element>
-      </element>
-    </root>
-  </artifact>
-</component>
\ No newline at end of file
diff --git a/.idea/artifacts/jpf.xml b/.idea/artifacts/jpf.xml
deleted file mode 100644
index d43581a..0000000
--- a/.idea/artifacts/jpf.xml
+++ /dev/null
@@ -1,21 +0,0 @@
-<component name="ArtifactManager">
-  <artifact type="jar" build-on-make="true" name="jpf">
-    <output-path>$PROJECT_DIR$/build</output-path>
-    <root id="archive" name="jpf.jar">
-      <element id="module-output" name="main" />
-      <element id="module-output" name="peers" />
-      <element id="module-output" name="annotations" />
-      <element id="directory" name="org">
-        <element id="directory" name="junit">
-          <element id="file-copy" path="$PROJECT_DIR$/build/classes/org/junit/After.class" />
-          <element id="file-copy" path="$PROJECT_DIR$/build/classes/org/junit/AfterClass.class" />
-          <element id="file-copy" path="$PROJECT_DIR$/build/classes/org/junit/Before.class" />
-          <element id="file-copy" path="$PROJECT_DIR$/build/classes/org/junit/BeforeClass.class" />
-          <element id="file-copy" path="$PROJECT_DIR$/build/classes/org/junit/Ignore.class" />
-          <element id="file-copy" path="$PROJECT_DIR$/build/classes/org/junit/Test$None.class" />
-          <element id="file-copy" path="$PROJECT_DIR$/build/classes/org/junit/Test.class" />
-        </element>
-      </element>
-    </root>
-  </artifact>
-</component>
\ No newline at end of file
diff --git a/.idea/artifacts/jpf_annotations.xml b/.idea/artifacts/jpf_annotations.xml
deleted file mode 100644
index 0e485a2..0000000
--- a/.idea/artifacts/jpf_annotations.xml
+++ /dev/null
@@ -1,8 +0,0 @@
-<component name="ArtifactManager">
-  <artifact type="jar" build-on-make="true" name="jpf-annotations">
-    <output-path>$PROJECT_DIR$/build</output-path>
-    <root id="archive" name="jpf-annotations.jar">
-      <element id="module-output" name="annotations" />
-    </root>
-  </artifact>
-</component>
\ No newline at end of file
diff --git a/.idea/artifacts/jpf_classes.xml b/.idea/artifacts/jpf_classes.xml
deleted file mode 100644
index 42eabbb..0000000
--- a/.idea/artifacts/jpf_classes.xml
+++ /dev/null
@@ -1,25 +0,0 @@
-<component name="ArtifactManager">
-  <artifact type="jar" build-on-make="true" name="jpf-classes">
-    <output-path>$PROJECT_DIR$/build</output-path>
-    <root id="archive" name="jpf-classes.jar">
-      <element id="module-output" name="classes" />
-      <element id="module-output" name="annotations" />
-      <element id="directory" name="gov">
-        <element id="directory" name="nasa">
-          <element id="directory" name="jpf">
-            <element id="directory" name="vm">
-              <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/vm/Verify.class" />
-            </element>
-            <element id="directory" name="util">
-              <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/util/TypeRef.class" />
-              <element id="directory" name="test">
-                <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/util/test/TestJPF.class" />
-                <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/util/test/TestMultiProcessJPF.class" />
-              </element>
-            </element>
-          </element>
-        </element>
-      </element>
-    </root>
-  </artifact>
-</component>
\ No newline at end of file
diff --git a/.idea/classes.iml b/.idea/classes.iml
deleted file mode 100644
index d41594e..0000000
--- a/.idea/classes.iml
+++ /dev/null
@@ -1,15 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<module type="JAVA_MODULE" version="4">
-  <component name="NewModuleRootManager" inherit-compiler-output="false">
-    <output url="file://$MODULE_DIR$/build/classes" />
-    <output-test url="file://$MODULE_DIR$/build/classes" />
-    <exclude-output />
-    <content url="file://$MODULE_DIR$/src/classes">
-      <sourceFolder url="file://$MODULE_DIR$/src/classes" isTestSource="false" />
-    </content>
-    <orderEntry type="inheritedJdk" />
-    <orderEntry type="sourceFolder" forTests="false" />
-    <orderEntry type="module" module-name="annotations" />
-    <orderEntry type="module" module-name="main" />
-  </component>
-</module>
diff --git a/.idea/codeStyleSettings.xml b/.idea/codeStyleSettings.xml
deleted file mode 100644
index 7fb8ed0..0000000
--- a/.idea/codeStyleSettings.xml
+++ /dev/null
@@ -1,13 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project version="4">
-  <component name="ProjectCodeStyleSettingsManager">
-    <option name="PER_PROJECT_SETTINGS">
-      <value>
-        <XML>
-          <option name="XML_LEGACY_SETTINGS_IMPORTED" value="true" />
-        </XML>
-      </value>
-    </option>
-    <option name="PREFERRED_PROJECT_CODE_STYLE" value="Default (1)" />
-  </component>
-</project>
\ No newline at end of file
diff --git a/.idea/compiler.xml b/.idea/compiler.xml
deleted file mode 100644
index 8e650cc..0000000
--- a/.idea/compiler.xml
+++ /dev/null
@@ -1,23 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project version="4">
-  <component name="CompilerConfiguration">
-    <option name="DEFAULT_COMPILER" value="Javac" />
-    <resourceExtensions />
-    <wildcardResourcePatterns>
-      <entry name="!?*.java" />
-      <entry name="!?*.form" />
-      <entry name="!?*.class" />
-      <entry name="!?*.groovy" />
-      <entry name="!?*.scala" />
-      <entry name="!?*.flex" />
-      <entry name="!?*.kt" />
-      <entry name="!?*.clj" />
-    </wildcardResourcePatterns>
-    <annotationProcessing>
-      <profile default="true" name="Default" enabled="false">
-        <processorPath useClasspath="true" />
-      </profile>
-    </annotationProcessing>
-    <bytecodeTargetLevel target="1.8" />
-  </component>
-</project>
\ No newline at end of file
diff --git a/.idea/copyright/profiles_settings.xml b/.idea/copyright/profiles_settings.xml
deleted file mode 100644
index e7bedf3..0000000
--- a/.idea/copyright/profiles_settings.xml
+++ /dev/null
@@ -1,3 +0,0 @@
-<component name="CopyrightManager">
-  <settings default="" />
-</component>
\ No newline at end of file
diff --git a/.idea/encodings.xml b/.idea/encodings.xml
deleted file mode 100644
index d821048..0000000
--- a/.idea/encodings.xml
+++ /dev/null
@@ -1,4 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project version="4">
-  <component name="Encoding" useUTFGuessing="true" native2AsciiForPropertiesFiles="false" />
-</project>
\ No newline at end of file
diff --git a/.idea/examples.iml b/.idea/examples.iml
deleted file mode 100644
index 1d41ef7..0000000
--- a/.idea/examples.iml
+++ /dev/null
@@ -1,16 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<module type="JAVA_MODULE" version="4">
-  <component name="NewModuleRootManager" inherit-compiler-output="false">
-    <output url="file://$MODULE_DIR$/build/examples" />
-    <output-test url="file://$MODULE_DIR$/build/examples" />
-    <exclude-output />
-    <content url="file://$MODULE_DIR$/src/examples">
-      <sourceFolder url="file://$MODULE_DIR$/src/examples" isTestSource="false" />
-    </content>
-    <orderEntry type="inheritedJdk" />
-    <orderEntry type="sourceFolder" forTests="false" />
-    <orderEntry type="module" module-name="annotations" />
-    <orderEntry type="module" module-name="main" />
-    <orderEntry type="module" module-name="peers" />
-  </component>
-</module>
diff --git a/.idea/main.iml b/.idea/main.iml
deleted file mode 100644
index c393d6a..0000000
--- a/.idea/main.iml
+++ /dev/null
@@ -1,14 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<module type="JAVA_MODULE" version="4">
-  <component name="NewModuleRootManager" inherit-compiler-output="false">
-    <output url="file://$MODULE_DIR$/build/main" />
-    <output-test url="file://$MODULE_DIR$/build/main" />
-    <exclude-output />
-    <content url="file://$MODULE_DIR$/src/main">
-      <sourceFolder url="file://$MODULE_DIR$/src/main" isTestSource="false" />
-    </content>
-    <orderEntry type="inheritedJdk" />
-    <orderEntry type="sourceFolder" forTests="false" />
-    <orderEntry type="module" module-name="annotations" />
-  </component>
-</module>
diff --git a/.idea/misc.xml b/.idea/misc.xml
deleted file mode 100644
index 4bda5bf..0000000
--- a/.idea/misc.xml
+++ /dev/null
@@ -1,57 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project version="4">
-  <component name="ClientPropertiesManager">
-    <properties class="javax.swing.AbstractButton">
-      <property name="hideActionText" class="java.lang.Boolean" />
-    </properties>
-    <properties class="javax.swing.JComponent">
-      <property name="html.disable" class="java.lang.Boolean" />
-    </properties>
-    <properties class="javax.swing.JEditorPane">
-      <property name="JEditorPane.w3cLengthUnits" class="java.lang.Boolean" />
-      <property name="JEditorPane.honorDisplayProperties" class="java.lang.Boolean" />
-      <property name="charset" class="java.lang.String" />
-    </properties>
-    <properties class="javax.swing.JList">
-      <property name="List.isFileList" class="java.lang.Boolean" />
-    </properties>
-    <properties class="javax.swing.JPasswordField">
-      <property name="JPasswordField.cutCopyAllowed" class="java.lang.Boolean" />
-    </properties>
-    <properties class="javax.swing.JSlider">
-      <property name="Slider.paintThumbArrowShape" class="java.lang.Boolean" />
-      <property name="JSlider.isFilled" class="java.lang.Boolean" />
-    </properties>
-    <properties class="javax.swing.JTable">
-      <property name="Table.isFileList" class="java.lang.Boolean" />
-      <property name="JTable.autoStartsEdit" class="java.lang.Boolean" />
-      <property name="terminateEditOnFocusLost" class="java.lang.Boolean" />
-    </properties>
-    <properties class="javax.swing.JToolBar">
-      <property name="JToolBar.isRollover" class="java.lang.Boolean" />
-    </properties>
-    <properties class="javax.swing.JTree">
-      <property name="JTree.lineStyle" class="java.lang.String" />
-    </properties>
-    <properties class="javax.swing.text.JTextComponent">
-      <property name="caretAspectRatio" class="java.lang.Double" />
-      <property name="caretWidth" class="java.lang.Integer" />
-    </properties>
-  </component>
-  <component name="EntryPointsManager">
-    <entry_points version="2.0" />
-  </component>
-  <component name="ProjectLevelVcsManager" settingsEditedManually="false">
-    <OptionsSetting value="true" id="Add" />
-    <OptionsSetting value="true" id="Remove" />
-    <OptionsSetting value="true" id="Checkout" />
-    <OptionsSetting value="true" id="Update" />
-    <OptionsSetting value="true" id="Status" />
-    <OptionsSetting value="true" id="Edit" />
-    <ConfirmationsSetting value="0" id="Add" />
-    <ConfirmationsSetting value="0" id="Remove" />
-  </component>
-  <component name="ProjectRootManager" version="2" languageLevel="JDK_1_8" default="false" assert-keyword="true" jdk-15="true" project-jdk-name="1.8" project-jdk-type="JavaSDK">
-    <output url="file://$PROJECT_DIR$/build" />
-  </component>
-</project>
\ No newline at end of file
diff --git a/.idea/modules.xml b/.idea/modules.xml
deleted file mode 100644
index 769a3f3..0000000
--- a/.idea/modules.xml
+++ /dev/null
@@ -1,13 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project version="4">
-  <component name="ProjectModuleManager">
-    <modules>
-      <module fileurl="file://$PROJECT_DIR$/.idea/annotations.iml" filepath="$PROJECT_DIR$/.idea/annotations.iml" />
-      <module fileurl="file://$PROJECT_DIR$/.idea/classes.iml" filepath="$PROJECT_DIR$/.idea/classes.iml" />
-      <module fileurl="file://$PROJECT_DIR$/.idea/examples.iml" filepath="$PROJECT_DIR$/.idea/examples.iml" />
-      <module fileurl="file://$PROJECT_DIR$/.idea/main.iml" filepath="$PROJECT_DIR$/.idea/main.iml" />
-      <module fileurl="file://$PROJECT_DIR$/.idea/peers.iml" filepath="$PROJECT_DIR$/.idea/peers.iml" />
-      <module fileurl="file://$PROJECT_DIR$/.idea/tests.iml" filepath="$PROJECT_DIR$/.idea/tests.iml" />
-    </modules>
-  </component>
-</project>
\ No newline at end of file
diff --git a/.idea/peers.iml b/.idea/peers.iml
deleted file mode 100644
index 23675dd..0000000
--- a/.idea/peers.iml
+++ /dev/null
@@ -1,15 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<module type="JAVA_MODULE" version="4">
-  <component name="NewModuleRootManager" inherit-compiler-output="false">
-    <output url="file://$MODULE_DIR$/build/peers" />
-    <output-test url="file://$MODULE_DIR$/build/peers" />
-    <exclude-output />
-    <content url="file://$MODULE_DIR$/src/peers">
-      <sourceFolder url="file://$MODULE_DIR$/src/peers" isTestSource="false" />
-    </content>
-    <orderEntry type="inheritedJdk" />
-    <orderEntry type="sourceFolder" forTests="false" />
-    <orderEntry type="module" module-name="main" />
-    <orderEntry type="module" module-name="annotations" />
-  </component>
-</module>
diff --git a/.idea/runConfigurations/run_example_jpf.xml b/.idea/runConfigurations/run_example_jpf.xml
deleted file mode 100644
index 78a37b9..0000000
--- a/.idea/runConfigurations/run_example_jpf.xml
+++ /dev/null
@@ -1,25 +0,0 @@
-<component name="ProjectRunConfigurationManager">
-  <configuration default="false" name="run-example-jpf" type="ContextRunConfiguration" factoryName="ContextRun">
-    <extension name="coverage" enabled="false" merge="false" sample_coverage="true" runner="idea" />
-    <option name="MAIN_CLASS_NAME" value="gov.nasa.jpf.JPF" />
-    <option name="VM_PARAMETERS" value="-Xmx1024m -ea" />
-    <option name="PROGRAM_PARAMETERS" value="$FilePath$" />
-    <option name="WORKING_DIRECTORY" value="" />
-    <option name="ALTERNATIVE_JRE_PATH_ENABLED" value="false" />
-    <option name="ALTERNATIVE_JRE_PATH" value="" />
-    <option name="ENABLE_SWING_INSPECTOR" value="false" />
-    <option name="ENV_VARIABLES" />
-    <option name="PASS_PARENT_ENVS" value="true" />
-    <module name="examples" />
-    <envs />
-    <RunnerSettings RunnerId="Debug">
-      <option name="DEBUG_PORT" value="" />
-      <option name="TRANSPORT" value="0" />
-      <option name="LOCAL" value="true" />
-    </RunnerSettings>
-    <RunnerSettings RunnerId="Run" />
-    <ConfigurationWrapper RunnerId="Debug" />
-    <ConfigurationWrapper RunnerId="Run" />
-    <method />
-  </configuration>
-</component>
\ No newline at end of file
diff --git a/.idea/runConfigurations/run_test.xml b/.idea/runConfigurations/run_test.xml
deleted file mode 100644
index fa0eace..0000000
--- a/.idea/runConfigurations/run_test.xml
+++ /dev/null
@@ -1,19 +0,0 @@
-<component name="ProjectRunConfigurationManager">
-  <configuration default="false" name="run-test" type="ContextRunConfiguration" factoryName="ContextRun">
-    <extension name="coverage" enabled="false" merge="false" sample_coverage="true" runner="idea" />
-    <option name="MAIN_CLASS_NAME" value="gov.nasa.jpf.tool.RunTest" />
-    <option name="VM_PARAMETERS" value="-Xmx1024m -ea" />
-    <option name="PROGRAM_PARAMETERS" value="$FileClass$ $SelectedText$" />
-    <option name="WORKING_DIRECTORY" value="" />
-    <option name="ALTERNATIVE_JRE_PATH_ENABLED" value="false" />
-    <option name="ALTERNATIVE_JRE_PATH" value="" />
-    <option name="ENABLE_SWING_INSPECTOR" value="false" />
-    <option name="ENV_VARIABLES" />
-    <option name="PASS_PARENT_ENVS" value="true" />
-    <module name="tests" />
-    <envs />
-    <RunnerSettings RunnerId="Run" />
-    <ConfigurationWrapper RunnerId="Run" />
-    <method />
-  </configuration>
-</component>
\ No newline at end of file
diff --git a/.idea/scopes/scope_settings.xml b/.idea/scopes/scope_settings.xml
deleted file mode 100644
index 922003b..0000000
--- a/.idea/scopes/scope_settings.xml
+++ /dev/null
@@ -1,5 +0,0 @@
-<component name="DependencyValidationManager">
-  <state>
-    <option name="SKIP_IMPORT_STATEMENTS" value="false" />
-  </state>
-</component>
\ No newline at end of file
diff --git a/.idea/tests.iml b/.idea/tests.iml
deleted file mode 100644
index ac9f595..0000000
--- a/.idea/tests.iml
+++ /dev/null
@@ -1,17 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<module type="JAVA_MODULE" version="4">
-  <component name="NewModuleRootManager" inherit-compiler-output="false">
-    <output url="file://$MODULE_DIR$/build/tests" />
-    <output-test url="file://$MODULE_DIR$/build/tests" />
-    <exclude-output />
-    <content url="file://$MODULE_DIR$/src/tests">
-      <sourceFolder url="file://$MODULE_DIR$/src/tests" isTestSource="false" />
-    </content>
-    <orderEntry type="inheritedJdk" />
-    <orderEntry type="sourceFolder" forTests="false" />
-    <orderEntry type="module" module-name="annotations" />
-    <orderEntry type="module" module-name="main" />
-    <orderEntry type="module" module-name="classes" />
-    <orderEntry type="module" module-name="peers" />
-  </component>
-</module>
diff --git a/.idea/vcs.xml b/.idea/vcs.xml
deleted file mode 100644
index e161617..0000000
--- a/.idea/vcs.xml
+++ /dev/null
@@ -1,6 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project version="4">
-  <component name="VcsDirectoryMappings">
-    <mapping directory="$PROJECT_DIR$" vcs="hg4idea" />
-  </component>
-</project>
\ No newline at end of file
diff --git a/.project b/.project
deleted file mode 100644
index d43fdf8..0000000
--- a/.project
+++ /dev/null
@@ -1,26 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<projectDescription>
-	<name>jpf-core</name>
-	<comment></comment>
-	<projects>
-	</projects>
-	<buildSpec>
-    <buildCommand>
-      <name>org.eclipse.jdt.core.javabuilder</name>
-      <arguments>
-      </arguments>
-    </buildCommand>
- 		<buildCommand>
-			<name>org.eclipse.ui.externaltools.ExternalToolBuilder</name>
-			<arguments>
-				<dictionary>
-					<key>LaunchConfigHandle</key>
-					<value>&lt;project&gt;/eclipse/AntBuilder.launch</value>
-				</dictionary>
-			</arguments>
-		</buildCommand>
-	</buildSpec>
-	<natures>
-		<nature>org.eclipse.jdt.core.javanature</nature>
-	</natures>
-</projectDescription>
diff --git a/eclipse/AntBuilder.launch b/eclipse/AntBuilder.launch
deleted file mode 100644
index f66e685..0000000
--- a/eclipse/AntBuilder.launch
+++ /dev/null
@@ -1,17 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<launchConfiguration type="org.eclipse.ant.AntBuilderLaunchConfigurationType">
-<stringAttribute key="org.eclipse.ant.ui.ATTR_ANT_CLEAN_TARGETS" value="clean,"/>
-<booleanAttribute key="org.eclipse.ant.ui.ATTR_TARGETS_UPDATED" value="true"/>
-<booleanAttribute key="org.eclipse.ant.ui.DEFAULT_VM_INSTALL" value="true"/>
-<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS"/>
-<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES"/>
-<booleanAttribute key="org.eclipse.debug.ui.ATTR_LAUNCH_IN_BACKGROUND" value="false"/>
-<stringAttribute key="org.eclipse.jdt.launching.CLASSPATH_PROVIDER" value="org.eclipse.ant.ui.AntClasspathProvider"/>
-<booleanAttribute key="org.eclipse.jdt.launching.DEFAULT_CLASSPATH" value="true"/>
-<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="org.eclipse.ant.internal.ui.antsupport.InternalAntRunner"/>
-<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="jpf-core"/>
-<stringAttribute key="org.eclipse.ui.externaltools.ATTR_LOCATION" value="${build_project}/build.xml"/>
-<stringAttribute key="org.eclipse.ui.externaltools.ATTR_RUN_BUILD_KINDS" value="full,incremental,auto,clean"/>
-<booleanAttribute key="org.eclipse.ui.externaltools.ATTR_TRIGGERS_CONFIGURED" value="true"/>
-<stringAttribute key="process_factory_id" value="org.eclipse.ant.ui.remoteAntProcessFactory"/>
-</launchConfiguration>
diff --git a/eclipse/run-JPF.launch b/eclipse/run-JPF.launch
deleted file mode 100644
index e599ce9..0000000
--- a/eclipse/run-JPF.launch
+++ /dev/null
@@ -1,29 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<launchConfiguration type="org.eclipse.jdt.launching.localJavaApplication">
-<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
-<listEntry value="/jpf-core/src/main/gov/nasa/jpf/tool/RunJPF.java"/>
-</listAttribute>
-<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
-<listEntry value="1"/>
-</listAttribute>
-<stringAttribute key="org.eclipse.debug.core.source_locator_id" value="org.eclipse.jdt.launching.sourceLocator.JavaSourceLookupDirector"/>
-<stringAttribute key="org.eclipse.debug.core.source_locator_memento" value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;sourceLookupDirector&gt;&#10;&lt;sourceContainers duplicates=&quot;false&quot;&gt;&#10;&lt;container memento=&quot;&amp;lt;?xml version=&amp;quot;1.0&amp;quot; encoding=&amp;quot;UTF-8&amp;quot; standalone=&amp;quot;no&amp;quot;?&amp;gt;&amp;#10;&amp;lt;javaProject name=&amp;quot;jpf-core&amp;quot;/&amp;gt;&amp;#10;&quot; typeId=&quot;org.eclipse.jdt.launching.sourceContainer.javaProject&quot;/&gt;&#10;&lt;container memento=&quot;&amp;lt;?xml version=&amp;quot;1.0&amp;quot; encoding=&amp;quot;UTF-8&amp;quot; standalone=&amp;quot;no&amp;quot;?&amp;gt;&amp;#10;&amp;lt;packageFragmentRoot handle=&amp;quot;=jpf-core/lib\/junit-4.10.jar&amp;quot;/&amp;gt;&amp;#10;&quot; typeId=&quot;org.eclipse.jdt.launching.sourceContainer.packageFragmentRoot&quot;/&gt;&#10;&lt;container memento=&quot;&amp;lt;?xml version=&amp;quot;1.0&amp;quot; encoding=&amp;quot;UTF-8&amp;quot; standalone=&amp;quot;no&amp;quot;?&amp;gt;&amp;#10;&amp;lt;default/&amp;gt;&amp;#10;&quot; typeId=&quot;org.eclipse.debug.core.containerType.default&quot;/&gt;&#10;&lt;/sourceContainers&gt;&#10;&lt;/sourceLookupDirector&gt;&#10;"/>
-<listAttribute key="org.eclipse.debug.ui.favoriteGroups">
-<listEntry value="org.eclipse.debug.ui.launchGroup.run"/>
-</listAttribute>
-<listAttribute key="org.eclipse.jdt.launching.CLASSPATH">
-<listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry containerPath=&quot;org.eclipse.jdt.launching.JRE_CONTAINER&quot; javaProject=&quot;jpf-core&quot; path=&quot;1&quot; type=&quot;4&quot;/&gt;&#10;"/>
-<listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry id=&quot;org.eclipse.jdt.launching.classpathentry.defaultClasspath&quot;&gt;&#10;&lt;memento exportedEntriesOnly=&quot;false&quot; project=&quot;jpf-core&quot;/&gt;&#10;&lt;/runtimeClasspathEntry&gt;&#10;"/>
-<listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry id=&quot;org.eclipse.jdt.launching.classpathentry.variableClasspathEntry&quot;&gt;&#10;&lt;memento path=&quot;3&quot; variableString=&quot;${resource_loc}/build/main&quot;/&gt;&#10;&lt;/runtimeClasspathEntry&gt;&#10;"/>
-<listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry id=&quot;org.eclipse.jdt.launching.classpathentry.variableClasspathEntry&quot;&gt;&#10;&lt;memento path=&quot;3&quot; variableString=&quot;${resource_loc}/build/peers&quot;/&gt;&#10;&lt;/runtimeClasspathEntry&gt;&#10;"/>
-<listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry id=&quot;org.eclipse.jdt.launching.classpathentry.variableClasspathEntry&quot;&gt;&#10;&lt;memento path=&quot;3&quot; variableString=&quot;${resource_loc}/lib/*&quot;/&gt;&#10;&lt;/runtimeClasspathEntry&gt;&#10;"/>
-<listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry id=&quot;org.eclipse.jdt.launching.classpathentry.variableClasspathEntry&quot;&gt;&#10;&lt;memento path=&quot;3&quot; variableString=&quot;${resource_loc}/build/tests&quot;/&gt;&#10;&lt;/runtimeClasspathEntry&gt;&#10;"/>
-<listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry id=&quot;org.eclipse.jdt.launching.classpathentry.variableClasspathEntry&quot;&gt;&#10;&lt;memento path=&quot;3&quot; variableString=&quot;${resource_loc}/build/examples&quot;/&gt;&#10;&lt;/runtimeClasspathEntry&gt;&#10;"/>
-</listAttribute>
-<booleanAttribute key="org.eclipse.jdt.launching.DEFAULT_CLASSPATH" value="false"/>
-<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="gov.nasa.jpf.tool.RunJPF"/>
-<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="&quot;${resource_loc}&quot;"/>
-<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="jpf-core"/>
-<stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Xmx1024m -ea"/>
-<stringAttribute key="org.eclipse.jdt.launching.WORKING_DIRECTORY" value="${project_loc}"/>
-</launchConfiguration>
diff --git a/eclipse/test-JPF.launch b/eclipse/test-JPF.launch
deleted file mode 100644
index e7e33e9..0000000
--- a/eclipse/test-JPF.launch
+++ /dev/null
@@ -1,29 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<launchConfiguration type="org.eclipse.jdt.launching.localJavaApplication">
-<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
-<listEntry value="/jpf-core/src/main/gov/nasa/jpf/tool/RunTest.java"/>
-</listAttribute>
-<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
-<listEntry value="1"/>
-</listAttribute>
-<stringAttribute key="org.eclipse.debug.core.source_locator_id" value="org.eclipse.jdt.launching.sourceLocator.JavaSourceLookupDirector"/>
-<stringAttribute key="org.eclipse.debug.core.source_locator_memento" value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;sourceLookupDirector&gt;&#10;&lt;sourceContainers duplicates=&quot;true&quot;&gt;&#10;&lt;container memento=&quot;&amp;lt;?xml version=&amp;quot;1.0&amp;quot; encoding=&amp;quot;UTF-8&amp;quot; standalone=&amp;quot;no&amp;quot;?&amp;gt;&amp;#10;&amp;lt;default/&amp;gt;&amp;#10;&quot; typeId=&quot;org.eclipse.debug.core.containerType.default&quot;/&gt;&#10;&lt;/sourceContainers&gt;&#10;&lt;/sourceLookupDirector&gt;&#10;"/>
-<listAttribute key="org.eclipse.debug.ui.favoriteGroups">
-<listEntry value="org.eclipse.debug.ui.launchGroup.run"/>
-</listAttribute>
-<listAttribute key="org.eclipse.jdt.launching.CLASSPATH">
-<listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry containerPath=&quot;org.eclipse.jdt.launching.JRE_CONTAINER&quot; javaProject=&quot;jpf-core&quot; path=&quot;1&quot; type=&quot;4&quot;/&gt;&#10;"/>
-<listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry id=&quot;org.eclipse.jdt.launching.classpathentry.defaultClasspath&quot;&gt;&#10;&lt;memento exportedEntriesOnly=&quot;false&quot; project=&quot;jpf-core&quot;/&gt;&#10;&lt;/runtimeClasspathEntry&gt;&#10;"/>
-<listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry id=&quot;org.eclipse.jdt.launching.classpathentry.variableClasspathEntry&quot;&gt;&#10;&lt;memento path=&quot;3&quot; variableString=&quot;${project_loc}/build/main&quot;/&gt;&#10;&lt;/runtimeClasspathEntry&gt;&#10;"/>
-<listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry id=&quot;org.eclipse.jdt.launching.classpathentry.variableClasspathEntry&quot;&gt;&#10;&lt;memento path=&quot;3&quot; variableString=&quot;${project_loc}/peers&quot;/&gt;&#10;&lt;/runtimeClasspathEntry&gt;&#10;"/>
-<listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry id=&quot;org.eclipse.jdt.launching.classpathentry.variableClasspathEntry&quot;&gt;&#10;&lt;memento path=&quot;3&quot; variableString=&quot;${project_loc}/lib/*&quot;/&gt;&#10;&lt;/runtimeClasspathEntry&gt;&#10;"/>
-<listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry id=&quot;org.eclipse.jdt.launching.classpathentry.variableClasspathEntry&quot;&gt;&#10;&lt;memento path=&quot;3&quot; variableString=&quot;${project_loc}/build/tests&quot;/&gt;&#10;&lt;/runtimeClasspathEntry&gt;&#10;"/>
-<listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry id=&quot;org.eclipse.jdt.launching.classpathentry.variableClasspathEntry&quot;&gt;&#10;&lt;memento path=&quot;3&quot; variableString=&quot;${project_loc}/build/examples&quot;/&gt;&#10;&lt;/runtimeClasspathEntry&gt;&#10;"/>
-</listAttribute>
-<booleanAttribute key="org.eclipse.jdt.launching.DEFAULT_CLASSPATH" value="false"/>
-<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="gov.nasa.jpf.tool.RunTest"/>
-<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="${java_type_name} ${string_prompt}"/>
-<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="jpf-core"/>
-<stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Xmx2048m -ea"/>
-<stringAttribute key="org.eclipse.jdt.launching.WORKING_DIRECTORY" value="${project_loc}"/>
-</launchConfiguration>
diff --git a/eclipse/update-JPF-siteproperties.launch b/eclipse/update-JPF-siteproperties.launch
deleted file mode 100644
index 65d3b94..0000000
--- a/eclipse/update-JPF-siteproperties.launch
+++ /dev/null
@@ -1,13 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<launchConfiguration type="org.eclipse.jdt.launching.localJavaApplication">
-<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
-<listEntry value="/jpf-core/src/main/gov/nasa/jpf/tool/RunJPF.java"/>
-</listAttribute>
-<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
-<listEntry value="1"/>
-</listAttribute>
-<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="gov.nasa.jpf.tool.RunJPF"/>
-<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-addproject"/>
-<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="jpf-core"/>
-<stringAttribute key="org.eclipse.jdt.launching.WORKING_DIRECTORY" value="${project_loc}"/>
-</launchConfiguration>
diff --git a/nbproject/ide-file-targets.xml b/nbproject/ide-file-targets.xml
deleted file mode 100644
index 255a0d1..0000000
--- a/nbproject/ide-file-targets.xml
+++ /dev/null
@@ -1,255 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project basedir=".." name="jpf-core-IDE">
-
-    <path id="base.path">
-        <pathelement location="build/main"/>
-        <pathelement location="build/peers"/>
-        <pathelement location="build/annotations"/>
-        <pathelement location="build/tests"/>
-        <fileset dir=".">
-            <include name="lib/*.jar"/>
-        </fileset>
-    </path>
-
-    <sourcepath id="source.path">
-      <pathelement location="src/main"/>
-      <pathelement location="src/peers"/>
-    </sourcepath>
-
-<!--
-    <property name="testrunner" value="gov.nasa.jpf.util.test.TestJPF"/>
--->
-    <property name="testrunner" value="gov.nasa.jpf.tool.RunTest"/>
-    
-
-    <!-- TODO: do we really have to duplicate this for each container dir? -->
-    <!-- TODO: !!! automatic recompile doesn't work, this is a NetBeans/Ant problem !!! -->
-
-    <!-- (more info: http://www.netbeans.org/kb/articles/freeform-config.html#runsingle) -->
-
-    <target name="test-project">
-        <!-- we need to set the formatter 'usefile' attribute
-             or the NB test runner will not show any tests -->
-        <property name="junit.usefile" value="false"/>
-        <ant antfile="build.xml" inheritall="true" target="test"/>
-    </target>
-
-
-    <!-- 'main' targets -->
-    <target name="run-selected-main">
-        <fail unless="run.class">Must set property 'run.class'</fail>
-        <ant antfile="build.xml" inheritall="false" target="compile"/>
-        <input message="please enter arguments" addproperty="arg.input"/>
-        <java classname="${run.class}" failonerror="true" fork="true">
-            <classpath>
-                <path refid="base.path"/>
-            </classpath>
-            <jvmarg value="-ea"/>
-            <arg line="${arg.input}"/>
-        </java>
-    </target>
-
-    <target name="debug-selected-main">
-        <fail unless="debug.class">Must set property 'debug.class'</fail>
-        <ant antfile="build.xml" inheritall="false" target="compile"/>
-
-        <path id="cp.main">
-           <path refid="base.path"/>
-        </path>
-        <sourcepath id="sp.main">
-           <path refid="source.path"/>
-        </sourcepath>
-
-
-        <nbjpdastart addressproperty="jpda.address" name="${debug.class}" transport="dt_socket">
-            <classpath refid="cp.main"/>
-            <sourcepath refid="sp.main"/>
-        </nbjpdastart>
-
-        <input message="please enter arguments" addproperty="arg.input"/>
-
-        <java classname="${debug.class}" fork="true" >
-            <classpath refid="cp.main"/>
-            <jvmarg value="-ea"/>
-            <jvmarg value="-Xdebug"/>
-            <jvmarg value="-Xrunjdwp:transport=dt_socket,address=${jpda.address}"/>
-            <arg line="${arg.input}"/>
-        </java>
-    </target>
-
-
-    <!-- 'example' targets -->
-    <target name="run-selected-example">
-        <fail unless="run.class">Must set property 'run.class'</fail>
-        <ant antfile="build.xml" inheritall="false" target="compile"/>
-        <input message="please enter arguments" addproperty="arg.input"/>
-        <java classname="${run.class}" failonerror="true" fork="true">
-            <classpath>
-                <pathelement location="build/examples"/>
-                <path refid="base.path"/>
-            </classpath>
-            <jvmarg value="-ea"/>
-            <arg line="${arg.input}"/>
-        </java>
-    </target>
-
-    <target name="debug-selected-example">
-        <fail unless="debug.class">Must set property 'debug.class'</fail>
-        <ant antfile="build.xml" inheritall="false" target="compile"/>
-
-        <path id="cp.examples">
-           <pathelement location="build/examples"/>
-           <path refid="base.path"/>
-        </path>
-        <sourcepath id="sp.examples">
-           <pathelement location="src/examples"/>
-           <path refid="source.path"/>
-        </sourcepath>
-
-
-        <nbjpdastart addressproperty="jpda.address" name="${debug.class}" transport="dt_socket">
-            <classpath refid="cp.examples"/>
-            <sourcepath refid="sp.examples"/>
-        </nbjpdastart>
-
-        <input message="please enter arguments" addproperty="arg.input"/>
-
-        <java classname="${debug.class}" fork="true" >
-            <classpath refid="cp.examples"/>
-            <jvmarg value="-ea"/>
-            <jvmarg value="-Xdebug"/>
-            <jvmarg value="-Xrunjdwp:transport=dt_socket,address=${jpda.address}"/>
-            <arg line="${arg.input}"/>
-        </java>
-    </target>
-
-    <target name="run-selected-example-jpf">
-        <fail unless="jpf.config">Must set property 'jpf.config'</fail>
-        <ant antfile="build.xml" inheritall="false" target="compile"/>
-        <!-- -->
-        <java classname="gov.nasa.jpf.JPF" failonerror="true" fork="true">
-            <arg value="${jpf.config}"/>
-            <classpath>
-                <pathelement location="build/examples"/>
-                <path refid="base.path"/>
-            </classpath>
-        </java>
-    </target>
-
-    <target name="debug-selected-example-jpf">
-        <fail unless="jpf.config">Must set property 'jpf.config'</fail>
-        <ant antfile="build.xml" inheritall="false" target="compile"/>
-
-        <path id="cp.examples">
-           <pathelement location="build/examples"/>
-           <path refid="base.path"/>
-        </path>
-        <sourcepath id="sp.examples">
-           <pathelement location="src/examples"/>
-           <path refid="source.path"/>
-        </sourcepath>
-
-        <nbjpdastart addressproperty="jpda.address" name="${jpf.config}" transport="dt_socket">
-            <classpath refid="cp.examples"/>
-            <sourcepath refid="sp.examples"/>
-        </nbjpdastart>
-
-        <java classname="gov.nasa.jpf.JPF" fork="true">
-            <classpath refid="cp.examples"/>
-            <jvmarg value="-ea"/>
-            <jvmarg value="-Xdebug"/>
-            <jvmarg value="-Xrunjdwp:transport=dt_socket,address=${jpda.address}"/>
-            <arg value="-c"/>
-            <arg value="${jpf.config}"/>
-        </java>
-    </target>
-
-
-    <!-- 'test' targets -->
-    <target name="run-selected-test">
-        <fail unless="run.class">Must set property 'run.class'</fail>
-        <ant antfile="build.xml" inheritall="false" target="compile"/>
-        <input message="please enter arguments" addproperty="arg.input"/>
-        <java classname="${testrunner}" failonerror="true" fork="true">
-            <classpath>
-                <pathelement location="build/tests"/>
-                <path refid="base.path"/>
-            </classpath>
-            <jvmarg value="-ea"/>
-            <arg value="${run.class}"/>
-            <arg line="${arg.input}"/>
-        </java>
-    </target>
-
-    <target name="debug-selected-test">
-        <fail unless="debug.class">Must set property 'debug.class'</fail>
-        <ant antfile="build.xml" inheritall="false" target="compile"/>
-
-        <path id="cp.tests">
-          <pathelement location="build/tests"/>
-          <path refid="base.path"/>
-        </path>
-        <sourcepath id="sp.tests">
-          <pathelement location="src/tests"/>
-          <path refid="source.path"/>
-        </sourcepath>
-
-        <nbjpdastart addressproperty="jpda.address" name="${debug.class}" transport="dt_socket">
-            <classpath refid="cp.tests"/>
-            <sourcepath refid="sp.tests"/>
-        </nbjpdastart>
-
-        <input message="please enter arguments" addproperty="arg.input"/>
-
-        <java classname="${testrunner}" fork="true">
-            <classpath refid="cp.tests"/>
-            <jvmarg value="-ea"/>
-            <jvmarg value="-Xdebug"/>
-            <jvmarg value="-Xrunjdwp:transport=dt_socket,address=${jpda.address}"/>
-            <arg value="${debug.class}"/>
-            <arg line="${arg.input}"/>
-        </java>
-    </target>
-
-    <target name="run-selected-test-jpf">
-        <fail unless="jpf.config">Must set property 'jpf.config'</fail>
-        <ant antfile="build.xml" inheritall="false" target="compile"/>
-        <java classname="gov.nasa.jpf.JPF" failonerror="true" fork="true">
-            <jvmarg value="-ea"/>
-            <arg value="${jpf.config}"/>
-            <classpath>
-                <pathelement location="build/tests"/>
-                <path refid="base.path"/>
-            </classpath>
-        </java>
-    </target>
-
-    <target  name="debug-selected-test-jpf">
-        <fail unless="jpf.config">Must set property 'jpf.config'</fail>
-        <ant antfile="build.xml" inheritall="false" target="compile"/>
-
-        <path id="cp.tests">
-          <pathelement location="build/tests"/>
-          <path refid="base.path"/>
-        </path>
-        <sourcepath id="sp.tests">
-          <pathelement location="src/tests"/>
-          <path refid="source.path"/>
-        </sourcepath>
-
-        <nbjpdastart addressproperty="jpda.address" name="${jpf.config}" transport="dt_socket">
-            <classpath refid="cp.tests"/>
-            <sourcepath refid="sp.tests"/>
-        </nbjpdastart>
-
-        <java classname="gov.nasa.jpf.JPF" fork="true">
-            <classpath refid="cp.tests"/>
-            <jvmarg value="-ea"/>
-            <jvmarg value="-Xdebug"/>
-            <jvmarg value="-Xrunjdwp:transport=dt_socket,address=${jpda.address}"/>
-            <arg value="-c"/>
-            <arg value="${jpf.config}"/>
-        </java>
-    </target>
-
-</project>
diff --git a/nbproject/project.xml b/nbproject/project.xml
deleted file mode 100644
index 69ebf85..0000000
--- a/nbproject/project.xml
+++ /dev/null
@@ -1,325 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project xmlns="http://www.netbeans.org/ns/project/1">
-    <type>org.netbeans.modules.ant.freeform</type>
-    <configuration>
-        <general-data xmlns="http://www.netbeans.org/ns/freeform-project/1">
-            <name>jpf-core</name>
-        </general-data>
-        <general-data xmlns="http://www.netbeans.org/ns/freeform-project/2">
-            <!-- Do not use Project Properties customizer when editing this file manually. -->
-            <name>jpf-core</name>
-            <properties/>
-            <folders>
-                <source-folder>
-                    <label>jpf-core</label>
-                    <location>.</location>
-                    <encoding>UTF-8</encoding>
-                </source-folder>
-                <source-folder>
-                    <label>src/main</label>
-                    <type>java</type>
-                    <location>src/main</location>
-                    <encoding>UTF-8</encoding>
-                </source-folder>
-                <source-folder>
-                    <label>src/peers</label>
-                    <type>java</type>
-                    <location>src/peers</location>
-                    <encoding>UTF-8</encoding>
-                </source-folder>
-                <source-folder>
-                    <label>src/annotations</label>
-                    <type>java</type>
-                    <location>src/annotations</location>
-                    <encoding>UTF-8</encoding>
-                </source-folder>
-                <source-folder>
-                    <label>src/classes</label>
-                    <type>java</type>
-                    <location>src/classes</location>
-                    <encoding>UTF-8</encoding>
-                </source-folder>
-                <source-folder>
-                    <label>src/tests</label>
-                    <type>java</type>
-                    <location>src/tests</location>
-                    <encoding>UTF-8</encoding>
-                </source-folder>
-                <source-folder>
-                    <label>src/examples</label>
-                    <type>java</type>
-                    <location>src/examples</location>
-                    <encoding>UTF-8</encoding>
-                </source-folder>
-            </folders>
-            <ide-actions>
-                <action name="build">
-                    <target>build</target>
-                </action>
-                <action name="clean">
-                    <target>clean</target>
-                </action>
-                <action name="test">
-                    <script>nbproject/ide-file-targets.xml</script>
-                    <target>test-project</target>
-                </action>
-                <action name="rebuild">
-                    <target>clean</target>
-                    <target>build</target>
-                </action>
-                <!--  run single file actions -->
-                <!-- run stuff in main -->
-                <action name="run.single">
-                    <script>nbproject/ide-file-targets.xml</script>
-                    <target>run-selected-main</target>
-                    <context>
-                        <property>run.class</property>
-                        <folder>src/main</folder>
-                        <pattern>\.java$</pattern>
-                        <format>java-name</format>
-                        <arity>
-                            <one-file-only/>
-                        </arity>
-                    </context>
-                </action>
-                <action name="debug.single">
-                    <script>nbproject/ide-file-targets.xml</script>
-                    <target>debug-selected-main</target>
-                    <context>
-                        <property>debug.class</property>
-                        <folder>src/main</folder>
-                        <pattern>\.java$</pattern>
-                        <format>java-name</format>
-                        <arity>
-                            <one-file-only/>
-                        </arity>
-                    </context>
-                </action>
-                <!-- run stuff in examples -->
-                <action name="run.single">
-                    <script>nbproject/ide-file-targets.xml</script>
-                    <target>run-selected-example</target>
-                    <context>
-                        <property>run.class</property>
-                        <folder>src/examples</folder>
-                        <pattern>\.java$</pattern>
-                        <format>java-name</format>
-                        <arity>
-                            <one-file-only/>
-                        </arity>
-                    </context>
-                </action>
-                <action name="debug.single">
-                    <script>nbproject/ide-file-targets.xml</script>
-                    <target>debug-selected-example</target>
-                    <context>
-                        <property>debug.class</property>
-                        <folder>src/examples</folder>
-                        <pattern>\.java$</pattern>
-                        <format>java-name</format>
-                        <arity>
-                            <one-file-only/>
-                        </arity>
-                    </context>
-                </action>
-                <action name="run.single">
-                    <script>nbproject/ide-file-targets.xml</script>
-                    <target>run-selected-example-jpf</target>
-                    <context>
-                        <property>jpf.config</property>
-                        <folder>src/examples</folder>
-                        <pattern>\.jpf$</pattern>
-                        <format>absolute-path</format>
-                        <arity>
-                            <one-file-only/>
-                        </arity>
-                    </context>
-                </action>
-                <action name="debug.single">
-                    <script>nbproject/ide-file-targets.xml</script>
-                    <target>debug-selected-example-jpf</target>
-                    <context>
-                        <property>jpf.config</property>
-                        <folder>src/examples</folder>
-                        <pattern>\.jpf$</pattern>
-                        <format>absolute-path</format>
-                        <arity>
-                            <one-file-only/>
-                        </arity>
-                    </context>
-                </action>
-                <!-- run stuff in test -->
-                <action name="run.single">
-                    <script>nbproject/ide-file-targets.xml</script>
-                    <target>run-selected-test</target>
-                    <context>
-                        <property>run.class</property>
-                        <folder>src/tests</folder>
-                        <pattern>\.java$</pattern>
-                        <format>java-name</format>
-                        <arity>
-                            <one-file-only/>
-                        </arity>
-                    </context>
-                </action>
-                <action name="debug.single">
-                    <script>nbproject/ide-file-targets.xml</script>
-                    <target>debug-selected-test</target>
-                    <context>
-                        <property>debug.class</property>
-                        <folder>src/tests</folder>
-                        <pattern>\.java$</pattern>
-                        <format>java-name</format>
-                        <arity>
-                            <one-file-only/>
-                        </arity>
-                    </context>
-                </action>
-                <action name="run.single">
-                    <script>nbproject/ide-file-targets.xml</script>
-                    <target>run-selected-test-jpf</target>
-                    <context>
-                        <property>jpf.config</property>
-                        <folder>src/tests</folder>
-                        <pattern>\.jpf$</pattern>
-                        <format>absolute-path</format>
-                        <arity>
-                            <one-file-only/>
-                        </arity>
-                    </context>
-                </action>
-                <action name="debug.single">
-                    <script>nbproject/ide-file-targets.xml</script>
-                    <target>debug-selected-test-jpf</target>
-                    <context>
-                        <property>jpf.config</property>
-                        <folder>src/tests</folder>
-                        <pattern>\.jpf$</pattern>
-                        <format>absolute-path</format>
-                        <arity>
-                            <one-file-only/>
-                        </arity>
-                    </context>
-                </action>
-            </ide-actions>
-            <export>
-                <type>folder</type>
-                <location>build/main</location>
-                <build-target>build</build-target>
-            </export>
-            <export>
-                <type>folder</type>
-                <location>build/peers</location>
-                <build-target>build</build-target>
-            </export>
-            <export>
-                <type>folder</type>
-                <location>build/classes</location>
-                <build-target>build</build-target>
-            </export>
-            <export>
-                <type>folder</type>
-                <location>build/examples</location>
-                <build-target>build</build-target>
-            </export>
-            <export>
-                <type>folder</type>
-                <location>build/annotations</location>
-                <build-target>build</build-target>
-            </export>
-            <export>
-                <type>folder</type>
-                <location>build/tests</location>
-                <build-target>build</build-target>
-            </export>
-            <view>
-                <items>
-                    <source-folder style="packages">
-                        <label>src/main</label>
-                        <location>src/main</location>
-                    </source-folder>
-                    <source-folder style="packages">
-                        <label>src/peers</label>
-                        <location>src/peers</location>
-                    </source-folder>
-                    <source-folder style="packages">
-                        <label>src/annotations</label>
-                        <location>src/annotations</location>
-                    </source-folder>
-                    <source-folder style="packages">
-                        <label>src/classes</label>
-                        <location>src/classes</location>
-                    </source-folder>
-                    <source-folder style="packages">
-                        <label>src/tests</label>
-                        <location>src/tests</location>
-                    </source-folder>
-                    <source-folder style="packages">
-                        <label>src/examples</label>
-                        <location>src/examples</location>
-                    </source-folder>
-                    <source-file>
-                        <location>build.xml</location>
-                    </source-file>
-                </items>
-                <context-menu>
-                    <ide-action name="build"/>
-                    <ide-action name="rebuild"/>
-                    <ide-action name="clean"/>
-                    <ide-action name="test"/>
-                </context-menu>
-            </view>
-            <subprojects/>
-        </general-data>
-        <java-data xmlns="http://www.netbeans.org/ns/freeform-project-java/4">
-            <compilation-unit>
-                <package-root>src/main</package-root>
-                <classpath mode="compile">build/annotations</classpath>
-                <built-to>build/main</built-to>
-                <source-level>1.8</source-level>
-            </compilation-unit>
-            <compilation-unit>
-                <package-root>src/peers</package-root>
-                <classpath mode="compile">build/annotations;build/main</classpath>
-                <built-to>build/peers</built-to>
-                <source-level>1.8</source-level>
-            </compilation-unit>
-            <compilation-unit>
-                <package-root>src/classes</package-root>
-                <classpath mode="compile">build/annotations;build/main</classpath>
-                <built-to>build/classes</built-to>
-                <source-level>1.8</source-level>
-            </compilation-unit>
-            <compilation-unit>
-                <package-root>src/examples</package-root>
-                <unit-tests/>
-                <classpath mode="compile">build/main</classpath>
-                <built-to>build/examples</built-to>
-                <source-level>1.8</source-level>
-            </compilation-unit>
-            <compilation-unit>
-                <package-root>src/annotations</package-root>
-                <built-to>build/annotations</built-to>
-                <source-level>1.8</source-level>
-            </compilation-unit>
-            <compilation-unit>
-                <package-root>src/tests</package-root>
-                <unit-tests/>
-                <classpath mode="compile">build/main:build/annotations:build/peers:build/classes</classpath>
-                <built-to>build/tests</built-to>
-                <source-level>1.8</source-level>
-            </compilation-unit>
-        </java-data>
-        <preferences xmlns="http://www.netbeans.org/ns/auxiliary-configuration-preferences/1">
-            <module name="org-netbeans-modules-editor-indent">
-                <node name="CodeStyle">
-                    <property name="usedProfile" value="default"/>
-                    <node name="project">
-                        <property name="tab-size" value="8"/>
-                        <property name="text-limit-width" value="80"/>
-                    </node>
-                </node>
-            </module>
-        </preferences>
-    </configuration>
-</project>