diff -r c46418f12ee1 -r 83e815849a91 src/Pure/build-jars
--- a/src/Pure/build-jars	Tue Mar 08 17:55:11 2016 +0100
+++ b/src/Pure/build-jars	Tue Mar 08 18:15:16 2016 +0100
@@ -96,13 +96,13 @@
   Thy/thy_syntax.scala
   Tools/bibtex.scala
   Tools/build.scala
-  Tools/build_console.scala
   Tools/build_doc.scala
   Tools/check_keywords.scala
   Tools/check_sources.scala
   Tools/debugger.scala
   Tools/doc.scala
   Tools/main.scala
+  Tools/ml_console.scala
   Tools/ml_statistics.scala
   Tools/news.scala
   Tools/print_operation.scala