src/Pure/System/isabelle_system.scala

 
 object Isabelle_System
 {
   /* 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("")
 
   def getenv_strict(name: String, env: JMap[String, String] = settings()): String =

 
   /* init settings + services */
 
   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"
         val services =
           for (name <- space_explode(':', getenv_strict(variable)))

     val target = if (dst_file.isDirectory) new JFile(dst_file, src_file.getName) else dst_file
 
     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 {
       case _: UnsupportedOperationException if Platform.is_windows => cygwin_link()
       case _: FileSystemException if Platform.is_windows => cygwin_link()