src/Pure/System/progress.scala

--- a/src/Pure/System/progress.scala	Fri May 31 22:35:44 2024 +0200
+++ b/src/Pure/System/progress.scala	Sat Jun 01 12:31:06 2024 +0200
@@ -94,7 +94,7 @@
   override def toString: String = if (stopped) "Progress(stopped)" else "Progress"
 
   final def bash(script: String,
-    cwd: JFile = null,
+    cwd: Path = Path.current,
     env: JMap[String, String] = Isabelle_System.settings(),
     redirect: Boolean = false,
     echo: Boolean = false,