diff -r 024bd7f5ee0f -r cec9b95fa35d src/Pure/System/platform.scala
--- a/src/Pure/System/platform.scala	Thu Jun 23 14:48:32 2011 +0200
+++ b/src/Pure/System/platform.scala	Thu Jun 23 14:52:32 2011 +0200
@@ -6,6 +6,7 @@
 
 package isabelle
 
+import java.lang.System
 import javax.swing.UIManager
 
 import scala.util.matching.Regex
@@ -34,7 +35,7 @@
   lazy val jvm_platform: String =
   {
     val arch =
-      java.lang.System.getProperty("os.arch") match {
+      System.getProperty("os.arch") match {
         case X86() => "x86"
         case X86_64() => "x86_64"
         case Sparc() => "sparc"
@@ -42,7 +43,7 @@
         case _ => error("Failed to determine CPU architecture")
       }
     val os =
-      java.lang.System.getProperty("os.name") match {
+      System.getProperty("os.name") match {
         case Solaris() => "solaris"
         case Linux() => "linux"
         case Darwin() => "darwin"
@@ -55,7 +56,7 @@
 
   /* JVM name */
 
-  val jvm_name: String = java.lang.System.getProperty("java.vm.name")
+  val jvm_name: String = System.getProperty("java.vm.name")
   val is_hotspot: Boolean = jvm_name.startsWith("Java HotSpot")