tuned imports;
authorwenzelm
Mon Mar 12 11:17:59 2018 +0100 (14 months ago)
changeset 67835c8e4ee2b5482
parent 67834 3ded4e0bc54b
child 67836 74958337214d
tuned imports;
src/Pure/GUI/gui.scala
src/Pure/PIDE/prover.scala
src/Pure/System/isabelle_system.scala
src/Pure/Tools/build.scala
     1.1 --- a/src/Pure/GUI/gui.scala	Mon Mar 12 11:00:52 2018 +0100
     1.2 +++ b/src/Pure/GUI/gui.scala	Mon Mar 12 11:17:59 2018 +0100
     1.3 @@ -7,7 +7,6 @@
     1.4  package isabelle
     1.5  
     1.6  import java.lang.{ClassLoader, ClassNotFoundException, NoSuchMethodException}
     1.7 -import java.io.{FileInputStream, BufferedInputStream}
     1.8  import java.awt.{GraphicsEnvironment, Image, Component, Container, Toolkit, Window, Font,
     1.9    KeyboardFocusManager}
    1.10  import java.awt.font.{TextAttribute, TransformAttribute, FontRenderContext, LineMetrics}
     2.1 --- a/src/Pure/PIDE/prover.scala	Mon Mar 12 11:00:52 2018 +0100
     2.2 +++ b/src/Pure/PIDE/prover.scala	Mon Mar 12 11:17:59 2018 +0100
     2.3 @@ -8,7 +8,7 @@
     2.4  package isabelle
     2.5  
     2.6  
     2.7 -import java.io.{InputStream, OutputStream, BufferedReader, BufferedOutputStream, IOException}
     2.8 +import java.io.{InputStream, OutputStream, BufferedOutputStream, IOException}
     2.9  
    2.10  
    2.11  object Prover
     3.1 --- a/src/Pure/System/isabelle_system.scala	Mon Mar 12 11:00:52 2018 +0100
     3.2 +++ b/src/Pure/System/isabelle_system.scala	Mon Mar 12 11:17:59 2018 +0100
     3.3 @@ -8,7 +8,7 @@
     3.4  package isabelle
     3.5  
     3.6  
     3.7 -import java.io.{File => JFile, IOException, BufferedReader, InputStreamReader}
     3.8 +import java.io.{File => JFile, IOException}
     3.9  import java.nio.file.{Path => JPath, Files, SimpleFileVisitor, FileVisitResult}
    3.10  import java.nio.file.attribute.BasicFileAttributes
    3.11  
     4.1 --- a/src/Pure/Tools/build.scala	Mon Mar 12 11:00:52 2018 +0100
     4.2 +++ b/src/Pure/Tools/build.scala	Mon Mar 12 11:17:59 2018 +0100
     4.3 @@ -8,12 +8,7 @@
     4.4  package isabelle
     4.5  
     4.6  
     4.7 -import java.io.{BufferedInputStream, FileInputStream,
     4.8 -  BufferedReader, InputStreamReader, IOException}
     4.9 -import java.util.zip.GZIPInputStream
    4.10 -
    4.11  import scala.collection.SortedSet
    4.12 -import scala.collection.mutable
    4.13  import scala.annotation.tailrec
    4.14  
    4.15