diff --git a/build.gradle b/build.gradle
index 1876e724a72c39f630a48c54e365335f2b4de5bd..d96d8e0a5c18fa147a3d95d1977ad4a0362bcac4 100644
--- a/build.gradle
+++ b/build.gradle
@@ -66,12 +66,6 @@ task jacocoIntegrationTestReport(type: JacocoReport) {
 	executionData fileTree(project.rootDir.absolutePath).include("**/build/jacoco/*.exec")
 }
 
-test {
-	exclude('testing')
-	//allJvmArgs = [ "-Xss515m" ]
-}
-
-
 task createJar(type: Jar, dependsOn: classes){
 	archiveFileName = 'TLA2B.jar'
 	//from sourceSets.main.allJava