src/Pure/build-jars

--- a/src/Pure/build-jars	Mon Mar 07 14:53:28 2016 +0100
+++ b/src/Pure/build-jars	Mon Mar 07 15:21:50 2016 +0100
@@ -81,6 +81,7 @@
   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