--- a/src/Pure/build-jars Wed Apr 30 12:12:44 2014 +0200
+++ b/src/Pure/build-jars Wed Apr 30 13:11:24 2014 +0200
@@ -24,6 +24,7 @@
General/graph.scala
General/graphics_file.scala
General/linear_set.scala
+ General/long_name.scala
General/multi_map.scala
General/output.scala
General/path.scala