diff -r 2c585bb9560c -r 995162143ef4 src/Tools/Graphview/src/visualizer.scala
--- a/src/Tools/Graphview/src/visualizer.scala	Thu Feb 20 14:17:28 2014 +0100
+++ b/src/Tools/Graphview/src/visualizer.scala	Thu Feb 20 14:36:17 2014 +0100
@@ -9,7 +9,6 @@
 
 import isabelle._
 
-
 import java.awt.{Font, FontMetrics, Color => JColor, Shape, RenderingHints, Graphics2D}
 import java.awt.image.BufferedImage
 import javax.swing.JComponent