Revert workaround changes to build.gradle

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'
@@ -38,7 +38,6 @@ if (project.version.endsWith("-SNAPSHOT")) {
 else {
 	parser_version = '2.9.27'
 }
-// current stable version is 2.9.27, 2.9.28-SNAPSHOT
 
 def tlatools_version = '1.0.2'
 
@@ -53,17 +52,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')