diff --git a/org.eventb.texteditor.parsers/.classpath b/org.eventb.texteditor.parsers/.classpath
index eda273b1d1f1e9aee5504a67aeb05e1e3438d0e3..70652ca4f8aca95109668ddad93a29ec95538651 100644
--- a/org.eventb.texteditor.parsers/.classpath
+++ b/org.eventb.texteditor.parsers/.classpath
@@ -5,9 +5,9 @@
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
<classpathentry kind="src" path="src"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
- <classpathentry exported="true" kind="lib" path="lib/bparser-2.4.34-SNAPSHOT.jar"/>
- <classpathentry exported="true" kind="lib" path="lib/eventbstruct-2.4.34-SNAPSHOT.jar"/>
- <classpathentry exported="true" kind="lib" path="lib/parserbase-2.4.34-SNAPSHOT.jar"/>
- <classpathentry exported="true" kind="lib" path="lib/prologlib-2.4.34-SNAPSHOT.jar"/>
+ <classpathentry kind="lib" path="lib/bparser-2.4.36-SNAPSHOT.jar"/>
+ <classpathentry kind="lib" path="lib/eventbstruct-2.4.36-SNAPSHOT.jar"/>
+ <classpathentry kind="lib" path="lib/parserbase-2.4.36-SNAPSHOT.jar"/>
+ <classpathentry kind="lib" path="lib/prologlib-2.4.36-SNAPSHOT.jar"/>
<classpathentry kind="output" path="bin"/>
</classpath>
diff --git a/org.eventb.texteditor.parsers/build.properties b/org.eventb.texteditor.parsers/build.properties
index 4ff567fa74dc27af19b33f0fd9975b1147410859..a5f5093454884826c6cb108d2b40fe0d7f021b92 100644
--- a/org.eventb.texteditor.parsers/build.properties
+++ b/org.eventb.texteditor.parsers/build.properties
@@ -2,9 +2,9 @@ source.. = src/
output.. = bin/
bin.includes = META-INF/,\
.,\
- lib/bparser-2.4.34-SNAPSHOT.jar,\
- lib/eventbstruct-2.4.34-SNAPSHOT.jar,\
+ lib/bparser-2.4.36-SNAPSHOT.jar,\
+ lib/eventbstruct-2.4.36-SNAPSHOT.jar,\
lib/guava-14.0.1.jar,\
lib/jsr305-1.3.9.jar,\
- lib/parserbase-2.4.34-SNAPSHOT.jar,\
- lib/prologlib-2.4.34-SNAPSHOT.jar
+ lib/parserbase-2.4.36-SNAPSHOT.jar,\
+ lib/prologlib-2.4.36-SNAPSHOT.jar