src/Pure/build-jars

   Tools/ml_process.scala
   Tools/ml_statistics.scala
   Tools/news.scala
   Tools/print_operation.scala
   Tools/simplifier_trace.scala
+  Tools/sql.scala
   Tools/sqlite.scala
   Tools/task_statistics.scala
   Tools/update_cartouches.scala
   Tools/update_header.scala
   Tools/update_then.scala