remove Jacoco from build

Makefile

+build/libs/TLA2B.jar: src/main/java/de/tla2b/*/*.java src/main/java/de/tla2b/*.java
+	gradle createJar
+install: build/libs/TLA2B.jar
+	cp build/libs/TLA2B.jar ../../prob_prolog/lib/
+

build.gradle

 apply plugin: 'java'
 apply plugin: 'eclipse'
 apply plugin: 'maven'
-apply plugin: 'jacoco'
+//apply plugin: 'jacoco'
 apply plugin: 'findbugs'
 
 project.version = '1.1.1'
@@ -50,17 +50,17 @@ dependencies {
 	testCompile (group: 'junit', name: 'junit', version: '4.12')
 }
 
-jacoco {
-    toolVersion = "0.7.1.201405082137"
-    reportsDir = file("$buildDir/customJacocoReportDir")
-}
+// jacoco {
+//     toolVersion = "0.7.1.201405082137"
+//     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")
+//  }
 
 tasks.withType(FindBugs) {
 	// disable findbugs by default