Fix grouping of test based on whether they use public_examples

regressionTests now runs only the tests that require public_examples and
test only runs those that don't use public_examples. Previously,
regressionTests ran all tests again, and CoverageTest was in the wrong
package (it requires public_examples).

build.gradle

@@ -102,9 +102,7 @@ clean {
 
 task regressionTests(dependsOn: extractPublicExamples, type: Test){
 	doFirst{ println("Running integration tests") }
-	scanForTestClasses = true
-	//include('de/tlc4b/tlc/integration/probprivate/**')
-	include('de/tlc4b/**')
+	include('de/tlc4b/tlc/integration/probprivate/**')
 }
 check.dependsOn(regressionTests)
 

src/test/java/de/tlc4b/coverage/CoverageTest.java → src/test/java/de/tlc4b/tlc/integration/probprivate/CoverageTest.java

-package de.tlc4b.coverage;
+package de.tlc4b.tlc.integration.probprivate;
 
 import java.io.File;
 import java.util.ArrayList;