diff -r cf03cb9578d4 -r d20262cd20e8 src/Pure/build-jars
--- a/src/Pure/build-jars	Tue Apr 05 14:59:00 2016 +0200
+++ b/src/Pure/build-jars	Tue Apr 05 15:27:11 2016 +0200
@@ -54,6 +54,7 @@
   Isar/parse.scala
   Isar/token.scala
   ML/ml_lex.scala
+  ML/ml_root.scala
   ML/ml_syntax.scala
   PIDE/batch_session.scala
   PIDE/command.scala