--- a/src/Pure/build-jars Wed Oct 05 14:34:42 2016 +0200
+++ b/src/Pure/build-jars Wed Oct 05 19:45:36 2016 +0200
@@ -27,6 +27,7 @@
General/antiquote.scala
General/bytes.scala
General/completion.scala
+ General/date.scala
General/exn.scala
General/file.scala
General/graph.scala