diff -r 593053cac3be -r 486f4af28db9 src/Pure/Admin/jenkins.scala
--- a/src/Pure/Admin/jenkins.scala	Wed Oct 18 11:53:01 2017 +0200
+++ b/src/Pure/Admin/jenkins.scala	Wed Oct 18 19:53:19 2017 +0200
@@ -54,11 +54,12 @@
 
   val build_status_profiles: List[Build_Status.Profile] =
     build_log_jobs.map(job_name =>
-      Build_Status.Profile("jenkins " + job_name, 0,
-        Build_Log.Prop.build_engine + " = " + SQL.string(Build_Log.Jenkins.engine) + " AND " +
-        Build_Log.Data.session_name + " <> " + SQL.string("Pure") + " AND " +
-        Build_Log.Data.status + " = " + SQL.string(Build_Log.Session_Status.finished.toString) +
-        " AND " + Build_Log.Data.log_name + " LIKE " + SQL.string("%" + job_name)))
+      Build_Status.Profile("jenkins " + job_name,
+        sql =
+          Build_Log.Prop.build_engine + " = " + SQL.string(Build_Log.Jenkins.engine) + " AND " +
+          Build_Log.Data.session_name + " <> " + SQL.string("Pure") + " AND " +
+          Build_Log.Data.status + " = " + SQL.string(Build_Log.Session_Status.finished.toString) +
+          " AND " + Build_Log.Data.log_name + " LIKE " + SQL.string("%" + job_name)))
 
 
   /* job info */