src/Pure/GUI/gui.scala
changeset 67835 c8e4ee2b5482
parent 65370 1324268c2f6a
child 69113 0012f3a08f42
--- a/src/Pure/GUI/gui.scala	Mon Mar 12 11:00:52 2018 +0100
+++ b/src/Pure/GUI/gui.scala	Mon Mar 12 11:17:59 2018 +0100
@@ -7,7 +7,6 @@
 package isabelle
 
 import java.lang.{ClassLoader, ClassNotFoundException, NoSuchMethodException}
-import java.io.{FileInputStream, BufferedInputStream}
 import java.awt.{GraphicsEnvironment, Image, Component, Container, Toolkit, Window, Font,
   KeyboardFocusManager}
 import java.awt.font.{TextAttribute, TransformAttribute, FontRenderContext, LineMetrics}