diff --git a/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF b/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
index 683c9b0bb35f1c30aa0d32bd3fb6947eea611662..f9c538506d379c56e17543aa7ea72aa25efc4eb0 100644
--- a/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
+++ b/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
@@ -7,17 +7,14 @@ Bundle-Activator: org.eventb.texteditor.parsers.Activator
 Require-Bundle: org.eclipse.core.runtime
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Bundle-ClassPath: .,
- lib/eventbstruct-2.4.40.jar,
- lib/jsr305-1.3.9.jar
+ lib/eventbstruct-2.12.5.jar,
+ lib/sablecc-runtime-3.5.0.jar
 Export-Package: de.be4.eventb.core.parser,
  de.be4.eventb.core.parser.analysis,
  de.be4.eventb.core.parser.lexer,
  de.be4.eventb.core.parser.node,
  de.be4.eventb.core.parser.parser,
  de.hhu.stups.sablecc.patch,
- javax.annotation,
- javax.annotation.concurrent,
- javax.annotation.meta,
  org.eventb.texteditor.parsers
 Bundle-Vendor: Heinrich-Heine University Dusseldorf
 Bundle-ActivationPolicy: lazy
diff --git a/org.eventb.texteditor.parsers/build.properties b/org.eventb.texteditor.parsers/build.properties
index 0ddd378065f2cc9103c6aa571dc41afe1f75ff12..11c5e1275f0a857829b885c02aa5326bb27a763d 100644
--- a/org.eventb.texteditor.parsers/build.properties
+++ b/org.eventb.texteditor.parsers/build.properties
@@ -2,5 +2,5 @@ source.. = src/
 output.. = bin/
 bin.includes = META-INF/,\
                .,\
-               lib/eventbstruct-2.4.40.jar,\
-               lib/jsr305-1.3.9.jar
+               lib/eventbstruct-2.12.5.jar,\
+               lib/sablecc-runtime-3.5.0.jar
diff --git a/org.eventb.texteditor.parsers/pom.xml b/org.eventb.texteditor.parsers/pom.xml
index 8753b12a1f93c5d11abada8fcfbadc1ddf2ef421..d3ee254014f6a3c2a82e861bebfe1f1d4f672d65 100644
--- a/org.eventb.texteditor.parsers/pom.xml
+++ b/org.eventb.texteditor.parsers/pom.xml
@@ -16,7 +16,7 @@
 		<dependency>
 			<groupId>de.hhu.stups</groupId>
 			<artifactId>eventbstruct</artifactId>
-			<version>2.4.40</version>
+			<version>2.12.5</version>
 		</dependency>
 	</dependencies>