update to Java 1.8 and latest B parser and remove Jacoco

build.gradle

 apply plugin: 'java'
 apply plugin: 'eclipse'
 apply plugin: 'maven'
-apply plugin: 'jacoco'
+//apply plugin: 'jacoco'
 
 project.version = '1.1.4-SNAPSHOT'
 project.group = 'de.hhu.stups'
 project.archivesBaseName = "tla2bAST"
 
-project.sourceCompatibility = '1.7'
-project.targetCompatibility = '1.7'
+project.sourceCompatibility = '1.8'
+project.targetCompatibility = '1.8'
 
 wrapper {
 	gradleVersion = "5.6.2"
@@ -33,11 +33,12 @@ configurations.all {
 
 def parser_version
 if (project.version.endsWith("-SNAPSHOT")) {
-	parser_version = '2.9.24-SNAPSHOT'
+	parser_version = '2.9.28-SNAPSHOT'
 }
 else {
-	parser_version = '2.9.23'
+	parser_version = '2.9.27'
 }
+// current stable version is 2.9.27, 2.9.28-SNAPSHOT
 
 def tlatools_version = '1.0.2'
 
@@ -52,17 +53,17 @@ dependencies {
 	testCompile (group: 'junit', name: 'junit', version: '4.12')
 }
 
-jacoco {
-	toolVersion = "0.8.5"
-	reportsDir = file("$buildDir/customJacocoReportDir")
-}
+// jacoco {
+// 	toolVersion = "0.8.5"
+// 	reportsDir = file("$buildDir/customJacocoReportDir")
+// }
 
 // type 'gradle tla2b jacocoIntegrationTestReport' in order to run the jacoco code coverage analysis
-task jacocoIntegrationTestReport(type: JacocoReport) {
-	sourceSets sourceSets.main
-	//executionData files('build/jacoco/integrationTests.exec')
-	executionData fileTree(project.rootDir.absolutePath).include("**/build/jacoco/*.exec")
-}
+// task jacocoIntegrationTestReport(type: JacocoReport) {
+// 	sourceSets sourceSets.main
+// 	//executionData files('build/jacoco/integrationTests.exec')
+// 	executionData fileTree(project.rootDir.absolutePath).include("**/build/jacoco/*.exec")
+// }
 
 test {
 	exclude('testing')