src/Pure/build-jars

--- a/src/Pure/build-jars	Sun Apr 30 17:37:12 2017 +0200
+++ b/src/Pure/build-jars	Sun Apr 30 23:11:51 2017 +0200
@@ -19,9 +19,9 @@
   Admin/build_release.scala
   Admin/build_stats.scala
   Admin/check_sources.scala
-  Admin/ci_api.scala
   Admin/ci_profile.scala
   Admin/isabelle_cronjob.scala
+  Admin/jenkins.scala
   Admin/news.scala
   Admin/other_isabelle.scala
   Admin/remote_dmg.scala