--- a/src/Pure/build-jars Thu Dec 13 13:11:35 2018 +0100
+++ b/src/Pure/build-jars Thu Dec 13 15:21:34 2018 +0100
@@ -75,6 +75,7 @@
General/untyped.scala
General/url.scala
General/utf8.scala
+ General/uuid.scala
General/value.scala
General/word.scala
General/xz.scala