--- old/src/share/vm/runtime/java.hpp	2015-07-17 12:25:50.025241722 -0400
+++ new/src/share/vm/runtime/java.hpp	2015-07-17 12:25:49.615246848 -0400
@@ -137,6 +137,14 @@
     return JDK_Version(major, 0, 0, update_number);
   }
 
+  static JDK_Version undefined() {
+    return JDK_Version(0);
+  }
+
+  bool is_undefined() const {
+    return (_major == 0);
+  }
+
   uint8_t major_version() const          { return _major; }
   uint8_t minor_version() const          { return _minor; }
   uint8_t micro_version() const          { return _micro; }