src/Pure/System/isabelle_system.scala

 Isabelle system support (settings environment etc.).
 */
 
 package isabelle
 
+import java.lang.System
 import java.util.regex.Pattern
 import java.util.Locale
 import java.io.{InputStream, FileInputStream, OutputStream, FileOutputStream, File,
   BufferedReader, InputStreamReader, BufferedWriter, OutputStreamWriter, IOException}
 import java.awt.{GraphicsEnvironment, Font}

 
   private val environment: Map[String, String] =
   {
     import scala.collection.JavaConversions._
 
-    val env0 = Map(java.lang.System.getenv.toList: _*) +
+    val env0 = Map(System.getenv.toList: _*) +
       ("THIS_JAVA" -> this_java())
 
     val isabelle_home =
       if (this_isabelle_home != null) this_isabelle_home
       else
         env0.get("ISABELLE_HOME") match {
           case None | Some("") =>
-            val path = java.lang.System.getProperty("isabelle.home")
+            val path = System.getProperty("isabelle.home")
             if (path == null || path == "") error("Unknown Isabelle home directory")
             else path
           case Some(path) => path
         }
 

             val i = entry.indexOf('=')
             if (i <= 0) (entry -> "")
             else (entry.substring(0, i) -> entry.substring(i + 1))
           }
         Map(entries: _*) +
-          ("HOME" -> java.lang.System.getenv("HOME")) +
-          ("PATH" -> java.lang.System.getenv("PATH"))
+          ("HOME" -> System.getenv("HOME")) +
+          ("PATH" -> System.getenv("PATH"))
       }
   }
 
 
   /* getenv */