diff -r 0951d6cec68c -r 3c0f53eae166 src/Pure/build-jars
--- a/src/Pure/build-jars	Thu Apr 07 15:32:47 2016 +0200
+++ b/src/Pure/build-jars	Thu Apr 07 16:53:43 2016 +0200
@@ -54,7 +54,6 @@
   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