diff -r 9de8ac92cafa -r 985fc55e9f27 src/Pure/build-jars
--- a/src/Pure/build-jars	Wed Jan 28 08:29:08 2015 +0100
+++ b/src/Pure/build-jars	Wed Jan 28 19:15:13 2015 +0100
@@ -106,6 +106,7 @@
   term_xml.scala
   "../Tools/Graphview/graph_file.scala"
   "../Tools/Graphview/graph_panel.scala"
+  "../Tools/Graphview/graphview.scala"
   "../Tools/Graphview/layout.scala"
   "../Tools/Graphview/main_panel.scala"
   "../Tools/Graphview/metrics.scala"
@@ -116,7 +117,6 @@
   "../Tools/Graphview/popups.scala"
   "../Tools/Graphview/shapes.scala"
   "../Tools/Graphview/tree_panel.scala"
-  "../Tools/Graphview/visualizer.scala"
 )