src/Pure/build-jars

--- a/src/Pure/build-jars	Wed Jan 02 16:48:22 2013 +0100
+++ b/src/Pure/build-jars	Wed Jan 02 17:58:53 2013 +0100
@@ -39,8 +39,6 @@
   PIDE/text.scala
   PIDE/xml.scala
   PIDE/yxml.scala
-  System/build.scala
-  System/build_dialog.scala
   System/color_value.scala
   System/command_line.scala
   System/event_bus.scala
@@ -64,6 +62,8 @@
   Thy/thy_info.scala
   Thy/thy_load.scala
   Thy/thy_syntax.scala
+  Tools/build.scala
+  Tools/build_dialog.scala
   library.scala
   package.scala
   term.scala