diff --git a/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF b/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
index a12f8a35a8e65fcfe17e780864f2efeae4d2f82d..ac3285c4b21d9e182949a0d02f0dc213bc2e66db 100644
--- a/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
+++ b/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
@@ -7,12 +7,9 @@ Bundle-Activator: org.eventb.texteditor.parsers.Activator
 Require-Bundle: org.eclipse.core.runtime
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Bundle-ClassPath: .,
- lib/bparser-2.4.40.jar,
  lib/eventbstruct-2.4.40.jar,
  lib/guava-14.0.1.jar,
- lib/jsr305-1.3.9.jar,
- lib/parserbase-2.4.40.jar,
- lib/prologlib-2.4.40.jar
+ lib/jsr305-1.3.9.jar
 Export-Package: com.google.common.annotations,
  com.google.common.base,
  com.google.common.base.internal,
@@ -26,34 +23,12 @@ Export-Package: com.google.common.annotations,
  com.google.common.primitives,
  com.google.common.reflect,
  com.google.common.util.concurrent,
- de.be4.classicalb.core.parser,
- de.be4.classicalb.core.parser.analysis,
- de.be4.classicalb.core.parser.analysis.checking,
- de.be4.classicalb.core.parser.analysis.pragma,
- de.be4.classicalb.core.parser.analysis.pragma.internal,
- de.be4.classicalb.core.parser.analysis.prolog,
- de.be4.classicalb.core.parser.analysis.transforming,
- de.be4.classicalb.core.parser.exceptions,
- de.be4.classicalb.core.parser.lexer,
- de.be4.classicalb.core.parser.node,
- de.be4.classicalb.core.parser.parser,
- de.be4.classicalb.core.pragma.analysis,
- de.be4.classicalb.core.pragma.lexer,
- de.be4.classicalb.core.pragma.node,
- de.be4.classicalb.core.preparser.analysis,
- de.be4.classicalb.core.preparser.lexer,
- de.be4.classicalb.core.preparser.node,
- de.be4.classicalb.core.preparser.parser,
  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,
- de.prob.parserbase,
- de.prob.prolog.match,
- de.prob.prolog.output,
- de.prob.prolog.term,
  javax.annotation,
  javax.annotation.concurrent,
  javax.annotation.meta,
diff --git a/org.eventb.texteditor.parsers/build.properties b/org.eventb.texteditor.parsers/build.properties
index 01ee9521b27d7c2882834b133d29a9b646428947..1697a12f5b2c454f6df6d062c5fd2ab34dfad7ca 100644
--- a/org.eventb.texteditor.parsers/build.properties
+++ b/org.eventb.texteditor.parsers/build.properties
@@ -2,9 +2,6 @@ source.. = src/
 output.. = bin/
 bin.includes = META-INF/,\
                .,\
-               lib/bparser-2.4.40.jar,\
                lib/eventbstruct-2.4.40.jar,\
                lib/guava-14.0.1.jar,\
-               lib/jsr305-1.3.9.jar,\
-               lib/parserbase-2.4.40.jar,\
-               lib/prologlib-2.4.40.jar
+               lib/jsr305-1.3.9.jar
diff --git a/org.eventb.texteditor.parsers/pom.xml b/org.eventb.texteditor.parsers/pom.xml
index 4077a0896591f20260fcc8eb5e481563a7d8c97d..8e521589842227f6e804b1c3a41723802be977f2 100644
--- a/org.eventb.texteditor.parsers/pom.xml
+++ b/org.eventb.texteditor.parsers/pom.xml
@@ -18,11 +18,6 @@
 			<artifactId>guava</artifactId>
 			<version>14.0.1</version>
 		</dependency>
-		<dependency>
-			<groupId>de.hhu.stups</groupId>
-			<artifactId>bparser</artifactId>
-			<version>2.4.40</version>
-		</dependency>
 		<dependency>
 			<groupId>de.hhu.stups</groupId>
 			<artifactId>eventbstruct</artifactId>