diff -r 9849943b83fa -r 51f510517aa0 src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Wed Jun 30 14:03:14 2021 +0200
+++ b/src/Pure/System/isabelle_system.scala	Wed Jun 30 15:35:39 2021 +0200
@@ -18,7 +18,7 @@
 {
   /* settings */
 
-  def settings(): JMap[String, String] = Isabelle_Env.settings()
+  def settings(): JMap[String, String] = isabelle.setup.Isabelle_Env.settings()
 
   def getenv(name: String, env: JMap[String, String] = settings()): String =
     Option(env.get(name)).getOrElse("")
@@ -51,7 +51,7 @@
 
   def init(isabelle_root: String = "", cygwin_root: String = ""): Unit =
   {
-    Isabelle_Env.init(isabelle_root, cygwin_root)
+    isabelle.setup.Isabelle_Env.init(isabelle_root, cygwin_root)
     synchronized {
       if (_services.isEmpty) {
         val variable = "ISABELLE_SCALA_SERVICES"
@@ -253,7 +253,7 @@
     if (force) target.delete
 
     def cygwin_link(): Unit =
-      Isabelle_Env.cygwin_link(File.standard_path(src), target)
+      isabelle.setup.Isabelle_Env.cygwin_link(File.standard_path(src), target)
 
     try { Files.createSymbolicLink(target.toPath, src_file.toPath) }
     catch {