src/Pure/build-jars

   Tools/update_semicolons.scala
   library.scala
   term.scala
   term_xml.scala
   "../Tools/Graphview/graph_panel.scala"
-  "../Tools/Graphview/layout_pendulum.scala"
+  "../Tools/Graphview/layout.scala"
   "../Tools/Graphview/main_panel.scala"
   "../Tools/Graphview/model.scala"
   "../Tools/Graphview/mutator_dialog.scala"
   "../Tools/Graphview/mutator_event.scala"
   "../Tools/Graphview/mutator.scala"