src/Pure/build-jars

--- a/src/Pure/build-jars	Fri Jan 18 22:31:57 2013 +0100
+++ b/src/Pure/build-jars	Fri Jan 18 22:38:34 2013 +0100
@@ -30,7 +30,6 @@
   Isar/outer_syntax.scala
   Isar/parse.scala
   Isar/token.scala
-  ML/ml_statistics.scala
   PIDE/command.scala
   PIDE/document.scala
   PIDE/markup.scala
@@ -65,6 +64,7 @@
   Tools/build.scala
   Tools/build_dialog.scala
   Tools/main.scala
+  Tools/ml_statistics.scala
   Tools/task_statistics.scala
   library.scala
   package.scala