--- a/src/Pure/build-jars Tue Feb 07 22:15:07 2017 +0100
+++ b/src/Pure/build-jars Wed Feb 08 21:04:18 2017 +0100
@@ -60,6 +60,7 @@
General/output.scala
General/path.scala
General/position.scala
+ General/postgresql.scala
General/pretty.scala
General/properties.scala
General/scan.scala