diff -r 024bd7f5ee0f -r cec9b95fa35d src/Pure/System/isabelle_process.scala
--- a/src/Pure/System/isabelle_process.scala	Thu Jun 23 14:48:32 2011 +0200
+++ b/src/Pure/System/isabelle_process.scala	Thu Jun 23 14:52:32 2011 +0200
@@ -7,6 +7,7 @@
 
 package isabelle
 
+import java.lang.System
 import java.util.concurrent.LinkedBlockingQueue
 import java.io.{BufferedReader, BufferedWriter, InputStreamReader, OutputStreamWriter,
   InputStream, OutputStream, BufferedOutputStream, IOException}