Update eventbstruct parser to version 2.12.5

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

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

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>