# HG changeset patch
# User wenzelm
# Date 1440187915 -7200
# Node ID 0b9d8af732700432dcf8dd955f79bfd4552f2acb
# Parent  8c52177fb436291765837f5209faf39157a07608
tuned;

diff -r 8c52177fb436 -r 0b9d8af73270 src/Pure/Tools/main.scala
--- a/src/Pure/Tools/main.scala	Fri Aug 21 20:58:23 2015 +0200
+++ b/src/Pure/Tools/main.scala	Fri Aug 21 22:11:55 2015 +0200
@@ -52,7 +52,7 @@
           else {
             system_dialog.title("Isabelle build (" +
               Isabelle_System.getenv("ML_IDENTIFIER") + " / " +
-              "jdk-" + Platform.jvm_version + "-" +
+              "jdk-" + Platform.jvm_version + "_" +
               Isabelle_System.getenv("ISABELLE_JAVA_PLATFORM") + ")")
             system_dialog.echo("Build started for Isabelle/" + session + " ...")