--- a/src/Pure/build-jars Sun Sep 04 23:04:34 2016 +0200
+++ b/src/Pure/build-jars Mon Sep 05 10:34:45 2016 +0200
@@ -43,6 +43,8 @@
General/properties.scala
General/scan.scala
General/sha1.scala
+ General/sql.scala
+ General/sqlite.scala
General/symbol.scala
General/time.scala
General/timing.scala
@@ -116,8 +118,6 @@
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