1.1 --- a/src/share/vm/utilities/vmError.cpp Mon Oct 29 16:39:14 2012 -0700 1.2 +++ b/src/share/vm/utilities/vmError.cpp Thu Nov 01 13:05:47 2012 +0100 1.3 @@ -453,7 +453,9 @@ 1.4 JDK_Version::current().to_string(buf, sizeof(buf)); 1.5 const char* runtime_name = JDK_Version::runtime_name() != NULL ? 1.6 JDK_Version::runtime_name() : ""; 1.7 - st->print_cr("# JRE version: %s (%s)", runtime_name, buf); 1.8 + const char* runtime_version = JDK_Version::runtime_version() != NULL ? 1.9 + JDK_Version::runtime_version() : ""; 1.10 + st->print_cr("# JRE version: %s (%s) (build %s)", runtime_name, buf, runtime_version); 1.11 st->print_cr("# Java VM: %s (%s %s %s %s)", 1.12 Abstract_VM_Version::vm_name(), 1.13 Abstract_VM_Version::vm_release(),