revert unneeded changes in development branch

Author: kfriedberger

.classpath

@@ -18,6 +18,7 @@
 	<classpathentry kind="lib" path="lib/java/runtime/princess-smt-parser_2.12.jar"/>
 	<classpathentry kind="lib" path="lib/java/runtime/java-cup-runtime.jar"/>
 	<classpathentry kind="lib" path="lib/java/runtime/com.microsoft.z3.jar"/>
+	<classpathentry kind="lib" path="lib/java/runtime/CVC4.jar"/>
 	<classpathentry kind="lib" path="lib/java/test/truth-java8-extension.jar" sourcepath="lib/java-contrib/truth-java8-extension-sources.jar"/>
 	<classpathentry kind="lib" path="lib/java/runtime/checker-qual.jar" sourcepath="lib/java-contrib/checker-qual-sources.jar"/>
 	<classpathentry kind="lib" path="lib/java/test/diffutils.jar"/>
@@ -27,6 +28,5 @@
 			<attribute name="optional" value="true"/>
 		</attributes>
 	</classpathentry>
-	<classpathentry kind="lib" path="lib/java/runtime/CVC4.jar"/>
 	<classpathentry kind="output" path="bin"/>
 </classpath>

.settings/Ant Builder.launch

@@ -5,10 +5,12 @@
 <stringAttribute key="org.eclipse.ant.ui.ATTR_ANT_MANUAL_TARGETS" value="build-dependencies,"/>
 <booleanAttribute key="org.eclipse.ant.ui.ATTR_TARGETS_UPDATED" value="true"/>
 <booleanAttribute key="org.eclipse.ant.ui.DEFAULT_VM_INSTALL" value="false"/>
+<booleanAttribute key="org.eclipse.ant.uiSET_INPUTHANDLER" value="true"/>
 <booleanAttribute key="org.eclipse.ant.ui.SET_INPUTHANDLER" value="true"/>
 <stringAttribute key="org.eclipse.debug.core.ATTR_REFRESH_SCOPE" value="${project}"/>
+<booleanAttribute key="org.eclipse.debug.core.capture_output" value="false"/>
+<booleanAttribute key="org.eclipse.debug.ui.ATTR_CONSOLE_OUTPUT_ON" value="true"/>
 <booleanAttribute key="org.eclipse.debug.ui.ATTR_LAUNCH_IN_BACKGROUND" value="false"/>
-<booleanAttribute key="org.eclipse.jdt.launching.ATTR_USE_START_ON_FIRST_THREAD" value="true"/>
 <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.JRE_CONTAINER" value="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>

build.xml

@@ -57,13 +57,12 @@
 
     <target name="build" depends="build-project, collect-options" description="Build"/>
 
-    <!--<target name="dist" depends="jar, sources, javadoc-jar" description="Make a distributable release"/>-->
-	<target name="dist" depends="jar, sources" description="Make a distributable release"/>
+    <target name="dist" depends="jar, sources, javadoc-jar" description="Make a distributable release"/>
 
     <target name="tests" depends="unit-tests-coverage" description="Run all tests"/>
 
-    <!--<target name="publish" depends="tests, dist, publish-artifacts" description="Publish current version to Ivy repository"/>-->
-	<target name="publish" depends="dist, publish-artifacts" description="Publish current version to Ivy repository"/>
+    <target name="publish" depends="tests, dist, publish-artifacts" description="Publish current version to Ivy repository"/>
+
     <target name="documentation" depends="collect-options, javadoc" description="Build documentation"/>
 
     <target name="all-checks" description="Run all tests and checks">