diff -r 6d718fda8215 -r f727b99faaf7 src/Pure/build-jars
--- a/src/Pure/build-jars	Fri Jul 17 21:37:33 2015 +0200
+++ b/src/Pure/build-jars	Fri Jul 17 21:40:47 2015 +0200
@@ -94,6 +94,7 @@
   Tools/build_doc.scala
   Tools/check_keywords.scala
   Tools/check_source.scala
+  Tools/debugger.scala
   Tools/doc.scala
   Tools/main.scala
   Tools/ml_statistics.scala