Correlate jdk version in ConcreteExecutor and child process (#201)

* Specify jdk in child process same as in ContestEstimator and added guava-30.0 to ContestEstimator

Author: EgorkaKulikov

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

@@ -30,15 +30,15 @@ import kotlin.concurrent.thread
 import kotlin.math.min
 import kotlin.system.exitProcess
 import mu.KotlinLogging
+import org.utbot.framework.JdkPathService
 
 private val logger = KotlinLogging.logger {}
 
 private val classPathSeparator = System.getProperty("path.separator")
-private val javaHome = if (System.getProperty("user.name") == "d00555580") {
-    "C:/Program Files/Java/jdk1.8.0_241"
-} else {
-    System.getenv("JAVA_HOME")
-}
+//To hack it to debug something be like Dima
+// if (System.getProperty("user.name") == "d00555580") my_path else "JAVA_HOME"
+private val javaHome = System.getenv("JAVA_HOME")
+
 private val javacCmd = "$javaHome/bin/javac"
 private val javaCmd = "$javaHome/bin/java"
 
@@ -293,6 +293,7 @@ fun main(args: Array<String>) {
         tools = listOf(Tool.UtBot)
     }
 
+    JdkPathService.jdkPathProvider = ContestEstimatorJdkPathProvider(javaHome)
     runEstimator(estimatorArgs, methodFilter, projectFilter, processedClassesThreshold, tools)
 }
 
@@ -333,7 +334,6 @@ fun runEstimator(
     if (updatedMethodFilter != null)
         logger.info { "Filtering: class='$classFqnFilter', method ='$methodNameFilter'" }
 
-
     val projectToClassFQNs = classesLists.listFiles()!!.associate { it.name to File(it, "list").readLines() }
 
     val projects = mutableListOf<ProjectToEstimate>()

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

@@ -0,0 +1,14 @@
+package org.utbot.contest
+
+import org.utbot.common.PathUtil.toPath
+import org.utbot.framework.JdkPathDefaultProvider
+import java.nio.file.Path
+
+/**
+ * This class is used to provide jdkPath set in [ContestEstimator]
+ * into the child process for concrete execution.
+ */
+class ContestEstimatorJdkPathProvider(private val path: String) : JdkPathDefaultProvider() {
+    override val jdkPath: Path
+        get() = path.toPath()
+}

utbot-junit-contest/src/main/resources/classes/guava-30.0/list

@@ -0,0 +1 @@
+com.google.common.graph.StandardMutableValueGraph