diff -r 364d74ea985f -r 6a9816764b37 src/Pure/build-jars
--- a/src/Pure/build-jars	Mon Oct 24 11:48:32 2016 +0200
+++ b/src/Pure/build-jars	Mon Oct 24 12:01:36 2016 +0200
@@ -18,6 +18,7 @@
   Admin/ci_api.scala
   Admin/ci_profile.scala
   Admin/isabelle_cronjob.scala
+  Admin/news.scala
   Admin/other_isabelle.scala
   Admin/remote_dmg.scala
   Concurrent/consumer_thread.scala
@@ -127,7 +128,6 @@
   Tools/ml_console.scala
   Tools/ml_process.scala
   Tools/ml_statistics.scala
-  Tools/news.scala
   Tools/print_operation.scala
   Tools/profiling_report.scala
   Tools/simplifier_trace.scala