diff -r b7fe1d822dc1 -r 5f706f7c624b src/Pure/Tools/build_job.scala
--- a/src/Pure/Tools/build_job.scala	Tue Mar 14 11:14:50 2023 +0100
+++ b/src/Pure/Tools/build_job.scala	Tue Mar 14 17:05:49 2023 +0100
@@ -87,9 +87,7 @@
     old_time: Time,
     old_command_timings_blob: Bytes,
     build_uuid: String
-  ) {
-    override def toString: String = name
-  }
+  ) extends Library.Named
 
   class Session_Job private[Build_Job](
     build_context: Build_Process.Context,