--- a/src/Pure/build-jars Tue Dec 20 10:45:20 2016 +0100
+++ b/src/Pure/build-jars Tue Dec 20 16:08:02 2016 +0100
@@ -49,6 +49,7 @@
General/graphics_file.scala
General/http_server.scala
General/json.scala
+ General/length.scala
General/linear_set.scala
General/logger.scala
General/long_name.scala