src/Pure/System/isabelle_process.scala
changeset 43520 cec9b95fa35d
parent 43514 45cf8d5e109a
child 43661 39fdbd814c7f
     1.1 --- a/src/Pure/System/isabelle_process.scala	Thu Jun 23 14:48:32 2011 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Thu Jun 23 14:52:32 2011 +0200
     1.3 @@ -7,6 +7,7 @@
     1.4  
     1.5  package isabelle
     1.6  
     1.7 +import java.lang.System
     1.8  import java.util.concurrent.LinkedBlockingQueue
     1.9  import java.io.{BufferedReader, BufferedWriter, InputStreamReader, OutputStreamWriter,
    1.10    InputStream, OutputStream, BufferedOutputStream, IOException}