src/Pure/System/isabelle_process.scala

--- a/src/Pure/System/isabelle_process.scala	Fri May 31 22:35:44 2024 +0200
+++ b/src/Pure/System/isabelle_process.scala	Sat Jun 01 12:31:06 2024 +0200
@@ -20,7 +20,7 @@
     use_prelude: List[String] = Nil,
     eval_main: String = "",
     modes: List[String] = Nil,
-    cwd: JFile = null,
+    cwd: Path = Path.current,
     env: JMap[String, String] = Isabelle_System.settings()
   ): Isabelle_Process = {
     val channel = System_Channel()