diff -r bb9a3be6952a -r f0899dad4877 src/Pure/build-jars
--- 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