--- a/src/Pure/build-jars Thu May 24 16:56:14 2018 +0200
+++ b/src/Pure/build-jars Thu May 24 21:13:09 2018 +0200
@@ -41,6 +41,7 @@
GUI/wrap_panel.scala
General/antiquote.scala
General/bytes.scala
+ General/cache.scala
General/codepoint.scala
General/comment.scala
General/completion.scala