src/Pure/Tools/build_process.scala

     def is_running(name: String): Boolean = running.isDefinedAt(name)
 
     def stop_running(): Unit =
       for (job <- running.valuesIterator; build <- job.build) build.cancel()
 
-    def finished_running(): List[Build_Job] =
+    def finished_running(): List[(String, Build_Job)] =
       List.from(
         for (job <- running.valuesIterator; build <- job.build if build.is_finished)
-        yield build)
+        yield job.name -> build)
 
     def add_running(job: Job): State =
       copy(running = running + (job.name -> job))
 
     def remove_running(name: String): State =

   }
 
 
   /* build process roles */
 
+  final def is_session_name(job_name: String): Boolean = !Long_Name.is_qualified(job_name)
+
   final def start_build(): Unit = synchronized_database {
     for (db <- _database) {
       Build_Process.Data.start_build(db, build_uuid, build_context.ml_platform,
         build_context.sessions_structure.session_prefs, progress.stopped)
     }

       }
 
     def start_job(): Boolean = synchronized_database {
       next_job(_state) match {
         case Some(name) =>
-          if (Build_Job.is_session_name(name)) {
+          if (is_session_name(name)) {
             _state = start_session(_state, name)
             true
           }
           else error("Unsupported build job name " + quote(name))
         case None => false

       try {
         while (!finished()) {
           synchronized_database {
             if (progress.stopped) _state.stop_running()
 
-            for (build <- _state.finished_running()) {
-              val job_name = build.job_name
+            for ((job_name, build) <- _state.finished_running()) {
               val (process_result, output_shasum) = build.join
               _state = _state.
                 remove_pending(job_name).
                 remove_running(job_name).
                 make_result(job_name, process_result, output_shasum, node_info = build.node_info)