Re: [BUG] java.util.Properties.entrySet() does not override java.lang.Object methods since Java 9