diff -r eeb819cf36e5 -r f8de958e5b2c src/share/vm/runtime/java.hpp --- a/src/share/vm/runtime/java.hpp Mon Jun 18 09:52:31 2012 +0200 +++ b/src/share/vm/runtime/java.hpp Mon Jun 18 12:29:21 2012 -0700 @@ -74,6 +74,7 @@ private: static JDK_Version _current; + static const char* _runtime_name; // In this class, we promote the minor version of release to be the // major version for releases >= 5 in anticipation of the JDK doing the @@ -181,6 +182,13 @@ void to_string(char* buffer, size_t buflen) const; + static const char* runtime_name() { + return _runtime_name; + } + static void set_runtime_name(const char* name) { + _runtime_name = name; + } + // Convenience methods for queries on the current major/minor version static bool is_jdk12x_version() { return current().compare_major(2) == 0;