Changed reference to core source.

Author: mwcw

build.gradle

@@ -17,7 +17,7 @@ plugins {
 }
 
 println("Environment setup:")
-["BC_JDK8", "BC_JDK11", "BC_JDK17"].each({ it ->
+["BC_JDK8", "BC_JDK11", "BC_JDK17","BC_JDK21", "BC_JDK25"].each({ it ->
     println("Looking for JDK ENV '${it}' found  ${System.getenv(it)}");
 //    if (System.getenv(it) == null) {
 //        throw new RuntimeException("Looking for JDK ENV '${it}' but found null, see README 'Environmental variables'");

prov/build.gradle

@@ -13,10 +13,10 @@ evaluationDependsOn(":core")
 sourceSets {
     main {
         java {
-            srcDirs = ["${project(":core").projectDir}/src/main/java","src/main/java"]
+            srcDirs = ["${projectDir}/../core/src/main/java","src/main/java"]
         }
         resources {
-            srcDirs= ["${project(":core").projectDir}/src/main/resources","src/main/resources"]
+            srcDirs= ["${projectDir}/../core/src/main/resources","src/main/resources"]
         }
     }
 

run_mtt.sh

@@ -14,7 +14,7 @@ echo ""
 # are correctly exported by another module.
 #
 
-levels=( "9" "11" "17" "21" )
+levels=( "9" "11" "17" "21" "25" )
 
 for level in "${levels[@]}"
 do