diff -r f4bb3068d819 -r 22b87ab47d3b src/Pure/build-jars
--- a/src/Pure/build-jars	Thu Oct 30 23:14:11 2014 +0100
+++ b/src/Pure/build-jars	Fri Oct 31 11:18:17 2014 +0100
@@ -90,7 +90,6 @@
   Tools/build_doc.scala
   Tools/check_source.scala
   Tools/doc.scala
-  Tools/keywords.scala
   Tools/main.scala
   Tools/ml_statistics.scala
   Tools/print_operation.scala