diff --git a/de.prob.core/.classpath b/de.prob.core/.classpath
index 6f481e0f0f38ef679d4c6c5d07c85001a76c2181..2d8492b577e13616723ba613cfad88688ed06063 100644
--- a/de.prob.core/.classpath
+++ b/de.prob.core/.classpath
@@ -4,19 +4,19 @@
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="output" path="bin"/>
-	<classpathentry exported="true" kind="lib" path="lib/dependencies/answerparser-2.4.33-SNAPSHOT.jar"/>
-	<classpathentry exported="true" kind="lib" path="lib/dependencies/bparser-2.4.33-SNAPSHOT.jar"/>
-	<classpathentry exported="true" kind="lib" path="lib/dependencies/cliparser-2.4.33-SNAPSHOT.jar"/>
+	<classpathentry exported="true" kind="lib" path="lib/dependencies/answerparser-2.4.35-SNAPSHOT.jar"/>
+	<classpathentry exported="true" kind="lib" path="lib/dependencies/bparser-2.4.35-SNAPSHOT.jar"/>
+	<classpathentry exported="true" kind="lib" path="lib/dependencies/cliparser-2.4.35-SNAPSHOT.jar"/>
 	<classpathentry exported="true" kind="lib" path="lib/dependencies/commons-codec-1.6.jar"/>
 	<classpathentry exported="true" kind="lib" path="lib/dependencies/commons-lang-2.6.jar"/>
 	<classpathentry exported="true" kind="lib" path="lib/dependencies/jfmi-1.0.2-SNAPSHOT.jar"/>
 	<classpathentry exported="true" kind="lib" path="lib/dependencies/jna-3.4.0.jar"/>
 	<classpathentry exported="true" kind="lib" path="lib/dependencies/jsr305-1.3.9.jar"/>
-	<classpathentry exported="true" kind="lib" path="lib/dependencies/ltlparser-2.4.33-SNAPSHOT.jar"/>
-	<classpathentry exported="true" kind="lib" path="lib/dependencies/parserbase-2.4.33-SNAPSHOT.jar"/>
-	<classpathentry exported="true" kind="lib" path="lib/dependencies/prologlib-2.4.33-SNAPSHOT.jar"/>
-	<classpathentry exported="true" kind="lib" path="lib/dependencies/theorymapping-2.4.33-SNAPSHOT.jar"/>
-	<classpathentry exported="true" kind="lib" path="lib/dependencies/unicode-2.4.33-SNAPSHOT.jar"/>
+	<classpathentry exported="true" kind="lib" path="lib/dependencies/ltlparser-2.4.35-SNAPSHOT.jar"/>
+	<classpathentry exported="true" kind="lib" path="lib/dependencies/parserbase-2.4.35-SNAPSHOT.jar"/>
+	<classpathentry exported="true" kind="lib" path="lib/dependencies/prologlib-2.4.35-SNAPSHOT.jar"/>
+	<classpathentry exported="true" kind="lib" path="lib/dependencies/theorymapping-2.4.35-SNAPSHOT.jar"/>
+	<classpathentry exported="true" kind="lib" path="lib/dependencies/unicode-2.4.35-SNAPSHOT.jar"/>
 	<classpathentry exported="true" kind="lib" path="lib/dependencies/xmlpull-1.1.3.1.jar"/>
 	<classpathentry exported="true" kind="lib" path="lib/dependencies/xpp3_min-1.1.4c.jar"/>
 	<classpathentry exported="true" kind="lib" path="lib/dependencies/xstream-1.4.7.jar"/>
diff --git a/de.prob.core/META-INF/MANIFEST.MF b/de.prob.core/META-INF/MANIFEST.MF
index d190dec6310e4cdf4283c647441dab6fe3175f91..fce1aae7111a3cc155f37968eda2db2ff1830122 100644
--- a/de.prob.core/META-INF/MANIFEST.MF
+++ b/de.prob.core/META-INF/MANIFEST.MF
@@ -122,29 +122,19 @@ Bundle-Activator: de.prob.core.internal.Activator
 Eclipse-BuddyPolicy: registered
 Bundle-RequiredExecutionEnvironment: JavaSE-1.6
 Bundle-ClassPath: .,
- lib/dependencies/unicode-2.4.33-SNAPSHOT.jar,
- lib/dependencies/theorymapping-2.4.33-SNAPSHOT.jar,
- lib/dependencies/prologlib-2.4.33-SNAPSHOT.jar,
- lib/dependencies/parserbase-2.4.33-SNAPSHOT.jar,
- lib/dependencies/ltlparser-2.4.33-SNAPSHOT.jar,
- lib/dependencies/cliparser-2.4.33-SNAPSHOT.jar,
- lib/dependencies/bparser-2.4.33-SNAPSHOT.jar,
- lib/dependencies/answerparser-2.4.33-SNAPSHOT.jar,
+ lib/dependencies/unicode-2.4.35-SNAPSHOT.jar,
+ lib/dependencies/theorymapping-2.4.35-SNAPSHOT.jar,
+ lib/dependencies/prologlib-2.4.35-SNAPSHOT.jar,
+ lib/dependencies/parserbase-2.4.35-SNAPSHOT.jar,
+ lib/dependencies/ltlparser-2.4.35-SNAPSHOT.jar,
+ lib/dependencies/cliparser-2.4.35-SNAPSHOT.jar,
+ lib/dependencies/bparser-2.4.35-SNAPSHOT.jar,
+ lib/dependencies/answerparser-2.4.35-SNAPSHOT.jar,
  lib/dependencies/xstream-1.4.7.jar,
- lib/dependencies/unicode-2.4.30-SNAPSHOT.jar,
- lib/dependencies/theorymapping-2.4.30-SNAPSHOT.jar,
- lib/dependencies/prologlib-2.4.30-SNAPSHOT.jar,
- lib/dependencies/parserbase-2.4.30-SNAPSHOT.jar,
- lib/dependencies/ltlparser-2.4.30-SNAPSHOT.jar,
- lib/dependencies/cliparser-2.4.30-SNAPSHOT.jar,
- lib/dependencies/bparser-2.4.30-SNAPSHOT.jar,
- lib/dependencies/answerparser-2.4.30-SNAPSHOT.jar,
- lib/dependencies/jgrapht-0.8.3.jar,
  lib/dependencies/commons-codec-1.6.jar,
  lib/dependencies/commons-lang-2.6.jar,
  lib/dependencies/jsr305-1.3.9.jar,
  lib/dependencies/xmlpull-1.1.3.1.jar,
  lib/dependencies/xpp3_min-1.1.4c.jar,
- lib/dependencies/xstream-1.4.3.jar,
  lib/dependencies/jfmi-1.0.2-SNAPSHOT.jar,
  lib/dependencies/jna-3.4.0.jar
diff --git a/de.prob.core/build.gradle b/de.prob.core/build.gradle
index cddfecca61a0d837c925c245086513e41510681e..364ac58838c3736c60c6224ea0722075d9d82f0a 100644
--- a/de.prob.core/build.gradle
+++ b/de.prob.core/build.gradle
@@ -1,6 +1,6 @@
 apply plugin: 'java'
 
-def parser_version = '2.4.18-SNAPSHOT'
+def parser_version = '2.4.35-SNAPSHOT'
 
 dependencies {
  compile group: "de.prob", name: "answerparser", version: parser_version , changing: true
@@ -16,4 +16,4 @@ dependencies {
  compile 'com.thoughtworks.xstream:xstream:1.4.7'
  compile group: 'net.java.dev.jna', name: 'jna', version: '3.4.0'
  compile group: 'edu.berkeley.eecs.ptolemy', name: 'jfmi', version: '1.0.2-SNAPSHOT'
-}
\ No newline at end of file
+}
diff --git a/de.prob.core/build.properties b/de.prob.core/build.properties
index 99230d528427c77989fe9534724cf6533e521d2e..04b12c31027b62018da3c6e00c1c118328e8de94 100644
--- a/de.prob.core/build.properties
+++ b/de.prob.core/build.properties
@@ -8,7 +8,6 @@ bin.includes = META-INF/,\
                lib/dependencies/commons-codec-1.6.jar,\
                lib/dependencies/xmlpull-1.1.3.1.jar,\
                lib/dependencies/xpp3_min-1.1.4c.jar,\
-               lib/dependencies/xstream-1.4.3.jar,\
                lib/dependencies/jfmi-1.0.2-SNAPSHOT.jar,\
                lib/dependencies/jna-3.4.0.jar