Fix classpath

gradle.properties

@@ -104,7 +104,7 @@ jakartaVersion=3.1.0
 jacoDbVersion=1.4.3
 # TODO left outdated here to avoid exceeding GitHub packages drive space,
 # TODO run `gradle publishToMavenLocal -Pversion={usvmVersion}` locally in usvm project and update {usvmVersion} locally
-usvmVersion=comp-231130-17
+usvmVersion=comp-231130-19
 
 # use latest Java 8 compaitable Spring and Spring Boot versions
 springVersion=5.3.28

utbot-junit-contest/src/main/kotlin/org/utbot/contest/Contest.kt

@@ -113,7 +113,7 @@ fun main(args: Array<String>) {
     val tmpDir = outputDir.resolveSibling("data")
 
     val cpEntries = classpathString.split(File.pathSeparator).map { File(it) }
-    val classLoader = URLClassLoader(cpEntries.map { it.toUrl() }.toTypedArray())
+    val classLoader = URLClassLoader(cpEntries.map { it.toUrl() }.toTypedArray(), null)
     val context = UtContext(classLoader)
 
     val testCompileCp = System.getenv("UTBOT_CONTEST_TEST_COMPILE_CP")

utbot-junit-contest/src/main/kotlin/org/utbot/contest/usvm/ContestUsvm.kt

@@ -93,6 +93,7 @@ fun runUsvmGeneration(
             usePersistence = false,
             persistenceDir = tmpDir,
             classpath = classpathFiles,
+            javaHome = JdkInfoService.provide().path.toFile(),
             machineOptions = UMachineOptions(
                 // TODO usvm-sbft: if we have less than CONTEST_TEST_EXECUTION_TIMEOUT time left, we should try execute
                 //  with smaller timeout, but instrumentation currently doesn't allow to change timeout for individual runs
@@ -103,7 +104,6 @@ fun runUsvmGeneration(
             )
         ) {
             // TODO usvm-sbft: we may want to tune these JcSettings for contest
-            useJavaRuntime(JdkInfoService.provide().path.toFile())
             // TODO: require usePersistence=false for ClassScorer
             installFeatures(InMemoryHierarchy, Approximations, ClassScorer(TypeScorer, ::scoreClassNode))
             loadByteCode(classpathFiles)

utbot-junit-contest/src/main/kotlin/org/utbot/contest/usvm/jc/JcContainer.kt

@@ -22,6 +22,7 @@ class JcContainer private constructor(
     usePersistence: Boolean,
     persistenceDir: File,
     classpath: List<File>,
+    javaHome: File,
     machineOptions: UMachineOptions,
     builder: JcSettings.() -> Unit,
 ) : AutoCloseable {
@@ -46,6 +47,8 @@ class JcContainer private constructor(
 
         val (db, cp) = runBlocking {
             val db = jacodb {
+                useJavaRuntime(javaHome)
+
                 builder()
 
                 if (persistenceLocation != null) {
@@ -62,6 +65,7 @@ class JcContainer private constructor(
             JcRuntimeTraceInstrumenterFactory::class,
             cpPath,
             cp,
+            javaHome.absolutePath,
             persistenceLocation,
             CONTEST_TEST_EXECUTION_TIMEOUT
         )
@@ -86,6 +90,7 @@ class JcContainer private constructor(
             usePersistence: Boolean,
             persistenceDir: File,
             classpath: List<File>,
+            javaHome: File,
             machineOptions: UMachineOptions,
             builder: JcSettings.() -> Unit,
         ): JcContainer {
@@ -94,7 +99,7 @@ class JcContainer private constructor(
                 // TODO usvm-sbft: right now max cache size is 1, do we need to increase it?
                 logger.info { "JcContainer cache miss" }
                 close()
-                JcContainer(usePersistence, persistenceDir, classpath, machineOptions, builder)
+                JcContainer(usePersistence, persistenceDir, classpath, javaHome, machineOptions, builder)
                     .also { cache[cacheKey] = it }
             }
         }