src/Pure/build-jars

--- a/src/Pure/build-jars	Wed Jan 02 17:58:53 2013 +0100
+++ b/src/Pure/build-jars	Wed Jan 02 18:03:38 2013 +0100
@@ -49,7 +49,6 @@
   System/isabelle_process.scala
   System/isabelle_system.scala
   System/jfx_thread.scala
-  System/main.scala
   System/options.scala
   System/platform.scala
   System/session.scala
@@ -64,6 +63,7 @@
   Thy/thy_syntax.scala
   Tools/build.scala
   Tools/build_dialog.scala
+  Tools/main.scala
   library.scala
   package.scala
   term.scala