--- old/test/testlibrary/jittester/src/jdk/test/lib/jittester/utils/OptionResolver.java	2016-05-12 04:24:57.962334344 +0300
+++ new/test/testlibrary/jittester/src/jdk/test/lib/jittester/utils/OptionResolver.java	2016-05-12 04:24:57.842334345 +0300
@@ -166,11 +166,10 @@
     }
 
     public abstract class Option<T> {
-
-        Character shortName;
-        String longName;
-        protected T defaultValue;
-        protected String description;
+        protected final Character shortName;
+        protected final String longName;
+        protected final T defaultValue;
+        protected final String description;
 
         public Option(Character shortName, String longName, T defaultValue, String description) {
             this.shortName = shortName;
@@ -200,6 +199,10 @@
             return (T) values.getOrDefault(this, defaultValue);
         }
 
+        public boolean isSet() {
+            return values.containsKey(this);
+        }
+
         public boolean isFlag() {
             return false;
         }