Update eventbstruct parser to version 2.13.0

org.eventb.texteditor.parsers/META-INF/MANIFEST.MF

@@ -7,8 +7,8 @@ Bundle-Activator: org.eventb.texteditor.parsers.Activator
 Require-Bundle: org.eclipse.core.runtime
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Bundle-ClassPath: .,
- lib/eventbstruct-2.12.7.jar,
- lib/sablecc-runtime-3.6.0.jar
+ lib/eventbstruct-2.13.0.jar,
+ lib/sablecc-runtime-3.7.0.jar
 Export-Package: de.be4.eventb.core.parser,
  de.be4.eventb.core.parser.analysis,
  de.be4.eventb.core.parser.lexer,

org.eventb.texteditor.parsers/build.properties

@@ -2,5 +2,5 @@ source.. = src/
 output.. = bin/
 bin.includes = META-INF/,\
                .,\
-               lib/eventbstruct-2.12.7.jar,\
-               lib/sablecc-runtime-3.6.0.jar
+               lib/eventbstruct-2.13.0.jar,\
+               lib/sablecc-runtime-3.7.0.jar

org.eventb.texteditor.parsers/pom.xml

@@ -16,7 +16,7 @@
 		<dependency>
 			<groupId>de.hhu.stups</groupId>
 			<artifactId>eventbstruct</artifactId>
-			<version>2.12.7</version>
+			<version>2.13.0</version>
 		</dependency>
 	</dependencies>