diff -r e022a69db531 -r 218c35908d5f src/Pure/build-jars
--- 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