src/Pure/Tools/main.scala

--- a/src/Pure/Tools/main.scala	Thu Feb 20 14:17:28 2014 +0100
+++ b/src/Pure/Tools/main.scala	Thu Feb 20 14:36:17 2014 +0100
@@ -7,7 +7,7 @@
 package isabelle
 
 
-import java.lang.{System, Class, ClassLoader}
+import java.lang.{Class, ClassLoader}
 import java.io.{File => JFile, BufferedReader, InputStreamReader}
 import java.nio.file.Files