--- a/hotspot/src/share/vm/utilities/vmError.cpp	Mon Jun 18 09:52:31 2012 +0200
+++ b/hotspot/src/share/vm/utilities/vmError.cpp	Mon Jun 18 12:29:21 2012 -0700
@@ -450,7 +450,9 @@
      // VM version
      st->print_cr("#");
      JDK_Version::current().to_string(buf, sizeof(buf));
-     st->print_cr("# JRE version: %s", buf);
+     const char* runtime_name = JDK_Version::runtime_name() != NULL ?
+                                  JDK_Version::runtime_name() : "";
+     st->print_cr("# JRE version: %s (%s)", runtime_name, buf);
      st->print_cr("# Java VM: %s (%s %s %s %s)",
                    Abstract_VM_Version::vm_name(),
                    Abstract_VM_Version::vm_release(),