--- a/src/Pure/build-jars Thu Dec 29 14:43:25 2016 +0100
+++ b/src/Pure/build-jars Thu Dec 29 15:32:13 2016 +0100
@@ -44,6 +44,7 @@
General/date.scala
General/exn.scala
General/file.scala
+ General/file_watcher.scala
General/graph.scala
General/graph_display.scala
General/graphics_file.scala