diff -r a397fd0c451a -r 152d6c58adb3 src/Pure/System/classpath.scala
--- a/src/Pure/System/classpath.scala	Sat Jun 08 16:26:47 2024 +0200
+++ b/src/Pure/System/classpath.scala	Sat Jun 08 19:35:28 2024 +0200
@@ -74,7 +74,7 @@
       try { Class.forName(name, true, class_loader).asInstanceOf[Classpath.Service_Class] }
       catch {
         case _: ClassNotFoundException => err("Class not found")
-        case exn: Throwable => err(Exn.message(exn))
+        case exn: Throwable => err(Exn.print(exn))
       }
     }
   }