update junit version

build.gradle

@@ -37,7 +37,7 @@ dependencies {
 
 	//compile(group: 'de.hhu.stups', name: 'de.prob.core.kernel', version: '2.0.0-milestone-13-SNAPSHOT')
 
-	testCompile (group: 'junit', name: 'junit', version: '4.11')
+	testCompile (group: 'junit', name: 'junit', version: '4.12')
 	testCompile (group: 'de.hhu.stups', name: 'tla2bAST', version: '1.0.8')
 }