src/Pure/build-jars

--- a/src/Pure/build-jars	Thu Mar 10 09:56:29 2016 +0100
+++ b/src/Pure/build-jars	Thu Mar 10 10:07:23 2016 +0100
@@ -81,7 +81,6 @@
   System/isabelle_charset.scala
   System/isabelle_process.scala
   System/isabelle_system.scala
-  System/ml_process.scala
   System/options.scala
   System/platform.scala
   System/posix_interrupt.scala
@@ -103,6 +102,7 @@
   Tools/doc.scala
   Tools/main.scala
   Tools/ml_console.scala
+  Tools/ml_process.scala
   Tools/ml_statistics.scala
   Tools/news.scala
   Tools/print_operation.scala