tuned message;

--- a/src/Pure/Admin/build_release.scala	Tue Jan 24 14:46:51 2023 +0100
+++ b/src/Pure/Admin/build_release.scala	Tue Jan 24 14:55:19 2023 +0100
@@ -475,7 +475,7 @@
           "export CLASSPATH=" + Bash.string(other_isabelle.getenv("ISABELLE_CLASSPATH")) + "\n" +
           "bin/isabelle jedit -b", echo = true).check
       }
-      catch { case ERROR(msg) => cat_error("Failed to build tools:", msg) }
+      catch { case ERROR(msg) => cat_error("Failed to build Isabelle/Scala/Java modules:", msg) }
 
       try {
         other_isabelle.bash(