hotspot/src/share/vm/runtime/java.hpp
changeset 13106 cecfb99d6cff
parent 12630 ddf6ee008138
child 13963 e5b53c306fb5
--- a/hotspot/src/share/vm/runtime/java.hpp	Mon Jun 18 09:52:31 2012 +0200
+++ b/hotspot/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;