src/Pure/Admin/build_stats.scala

     size: (Int, Int) = default_size,
     only_sessions: Set[String] = default_only_sessions,
     elapsed_threshold: Time = default_elapsed_threshold,
     ml_timing: Option[Boolean] = default_ml_timing): List[String] =
   {
-    val job_infos = Jenkins.build_job_builds(job).sortBy(_.timestamp).reverse.take(history_length)
+    val job_infos = Jenkins.build_job_infos(job).sortBy(_.timestamp).reverse.take(history_length)
     if (job_infos.isEmpty) error("No build infos for job " + quote(job))
 
     val all_infos =
       Par_List.map((job_info: Jenkins.Job_Info) =>
         (job_info.timestamp / 1000, job_info.read_main_log.parse_build_info()), job_infos)