diff -r c399ae4b836f -r f0f623005324 src/Pure/build-jars
--- a/src/Pure/build-jars	Sun Nov 02 16:39:54 2014 +0100
+++ b/src/Pure/build-jars	Sun Nov 02 16:47:45 2014 +0100
@@ -96,6 +96,7 @@
   Tools/simplifier_trace.scala
   Tools/task_statistics.scala
   Tools/update_cartouches.scala
+  Tools/update_header.scala
   Tools/update_semicolons.scala
   library.scala
   term.scala