--- a/src/Pure/build-jars Wed Dec 28 17:02:38 2016 +0100
+++ b/src/Pure/build-jars Wed Dec 28 17:10:09 2016 +0100
@@ -49,7 +49,6 @@
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