use parser from maven central

org.eventb.texteditor.parsers/build.gradle

@@ -8,11 +8,11 @@ repositories {
 	}
 }
 
-def parser_version = '2.4.36-SNAPSHOT'
+def parser_version = '2.4.40'
 
 dependencies {
-	 compile group: "de.prob", name: "bparser", version: parser_version, changing: true
-         compile group: "de.prob", name: "eventbstruct", version: parser_version, changing: true
+	 compile group: "de.hhu.stups", name: "bparser", version: parser_version, changing: true
+         compile group: "de.hhu.stups", name: "eventbstruct", version: parser_version, changing: true
    	 compile 'com.google.guava:guava:14.0.1'// Apache Licence 2.0
 }