--- a/src/Pure/build-jars Mon Jan 15 10:46:41 2018 +0100
+++ b/src/Pure/build-jars Mon Jan 15 14:31:57 2018 +0100
@@ -44,6 +44,7 @@
General/antiquote.scala
General/bytes.scala
General/codepoint.scala
+ General/comment.scala
General/completion.scala
General/date.scala
General/exn.scala