src/Pure/build-jars

   Tools/bibtex.scala
   Tools/build.scala
   Tools/build_console.scala
   Tools/build_doc.scala
   Tools/check_keywords.scala
-  Tools/check_source.scala
+  Tools/check_sources.scala
   Tools/debugger.scala
   Tools/doc.scala
   Tools/main.scala
   Tools/ml_statistics.scala
   Tools/news.scala