--- a/src/share/vm/utilities/vmError.cpp	Mon Dec 08 15:50:55 2008 -0500
+++ b/src/share/vm/utilities/vmError.cpp	Tue Dec 09 09:55:39 2008 -0500
@@ -332,6 +332,8 @@ void VMError::report(outputStream* st) {
 
      // VM version
      st->print_cr("#");
+     JDK_Version::current().to_string(buf, sizeof(buf));
+     st->print_cr("# JRE version: %s", buf);
      st->print_cr("# Java VM: %s (%s %s %s %s)",
                    Abstract_VM_Version::vm_name(),
                    Abstract_VM_Version::vm_release(),