--- old/src/jdk.internal.vm.compiler/share/classes/org.graalvm.options/src/org/graalvm/options/OptionKey.java	2017-06-26 15:43:55.000000000 -0700
+++ new/src/jdk.internal.vm.compiler/share/classes/org.graalvm.options/src/org/graalvm/options/OptionKey.java	2017-06-26 15:43:55.000000000 -0700
@@ -92,4 +92,14 @@
         return values.get(this);
     }
 
+    /**
+     * Returns <code>true</code> if a value for this key has been set for the given option values or
+     * <code>false</code> if no value has been set.
+     *
+     * @since 1.0
+     */
+    public boolean hasBeenSet(OptionValues values) {
+        return values.hasBeenSet(this);
+    }
+
 }