--- a/src/Pure/build-jars Sat Jan 03 14:54:33 2015 +0100
+++ b/src/Pure/build-jars Sat Jan 03 15:45:01 2015 +0100
@@ -31,6 +31,7 @@
General/exn.scala
General/file.scala
General/graph.scala
+ General/graph_display.scala
General/graphics_file.scala
General/linear_set.scala
General/long_name.scala