run-all script udpated

eclipse settings cleanup

.classpath

 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
 	<classpathentry kind="src" path="src"/>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
 	<classpathentry kind="lib" path="lib/jborat-interface.jar"/>
 	<classpathentry kind="lib" path="lib/jborat-runtime.jar"/>
 	<classpathentry kind="lib" path="lib/asm-debug-all-4.0.jar"/>

.settings/org.eclipse.jdt.core.prefs

-#Thu Jun 16 12:32:48 CEST 2011
-eclipse.preferences.version=1
-org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6
-org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
-org.eclipse.jdt.core.compiler.compliance=1.6
-org.eclipse.jdt.core.compiler.debug.lineNumber=generate
-org.eclipse.jdt.core.compiler.debug.localVariable=generate
-org.eclipse.jdt.core.compiler.debug.sourceFile=generate
-org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
-org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
-org.eclipse.jdt.core.compiler.source=1.6

test/run-all.sh

 #!/bin/sh
 
-TESTS="after args bbmarker bodymarker bytecodemarker dynamicinfo exception exceptionhandler guard loop processor scope staticinfo syntheticlocal threadlocal tryclause"
+TESTS=`ls src/ch/usi/dag/disl/test/`
 
 for TEST in ${TESTS}
 do