src/Pure/System/isabelle_process.scala

--- a/src/Pure/System/isabelle_process.scala	Mon Jun 28 20:52:31 2021 +0200
+++ b/src/Pure/System/isabelle_process.scala	Wed Jun 30 11:35:07 2021 +0200
@@ -7,6 +7,7 @@
 package isabelle
 
 
+import java.util.{Map => JMap}
 import java.io.{File => JFile}
 
 
@@ -23,7 +24,7 @@
     eval_main: String = "",
     modes: List[String] = Nil,
     cwd: JFile = null,
-    env: Map[String, String] = Isabelle_System.settings()): Isabelle_Process =
+    env: JMap[String, String] = Isabelle_System.settings()): Isabelle_Process =
   {
     val channel = System_Channel()
     val process =