--- a/jdk/src/java.base/share/classes/java/util/Properties.java	Fri Aug 25 05:02:36 2017 +0000
+++ b/jdk/src/java.base/share/classes/java/util/Properties.java	Fri Aug 25 10:39:02 2017 -0700
@@ -1345,7 +1345,6 @@
         return map.remove(key, value);
     }
 
-    /** @hidden */
     @Override
     public synchronized boolean replace(Object key, Object oldValue, Object newValue) {
         return map.replace(key, oldValue, newValue);