hg: jdk/sandbox: 8245694: java.util.Properties.entrySet() does not override Object methods

[chris.hegarty at oracle.com]

Changeset: 817083c89128
Author:    jboes
Date:      2020-07-20 13:11 +0100
URL:       https://hg.openjdk.java.net/jdk/sandbox/rev/817083c89128

8245694: java.util.Properties.entrySet() does not override Object methods
Summary: Add missing override methods
Reviewed-by: bchristi, jboes
Contributed-by: Yu Li <liyu.italy at gmail.com>

! src/java.base/share/classes/java/util/Properties.java
+ test/jdk/java/util/Properties/PropertiesEntrySetTest.java