src/Pure/System/system_channel.scala
changeset 48409 0d2114eb412a
parent 48373 527e2bad7cca
child 49695 8f61d1c7dded
     1.1 --- a/src/Pure/System/system_channel.scala	Fri Jul 20 21:05:47 2012 +0200
     1.2 +++ b/src/Pure/System/system_channel.scala	Fri Jul 20 22:29:25 2012 +0200
     1.3 @@ -8,7 +8,8 @@
     1.4  package isabelle
     1.5  
     1.6  
     1.7 -import java.io.{InputStream, OutputStream, File, FileInputStream, FileOutputStream, IOException}
     1.8 +import java.io.{InputStream, OutputStream, File => JFile, FileInputStream,
     1.9 +  FileOutputStream, IOException}
    1.10  import java.net.{ServerSocket, InetAddress}
    1.11  
    1.12