--- old/src/java.base/share/classes/java/util/Properties.java	2017-03-14 01:09:58.783136314 -0700
+++ new/src/java.base/share/classes/java/util/Properties.java	2017-03-14 01:09:58.522136318 -0700
@@ -1345,7 +1345,10 @@
         return map.remove(key, value);
     }
 
-    /** @hidden */
+    /**
+     * @hidden
+     * @since 9
+     */
     @Override
     public synchronized boolean replace(Object key, Object oldValue, Object newValue) {
         return map.replace(key, oldValue, newValue);