RFR: JDK-8302019: Clarify Elements.overrides [v5]

[Joe Darcy]

> Explicitly discuss and test handling of an interface declaring methods that "override" public methods on java.lang.Object.

Joe Darcy has updated the pull request incrementally with one additional commit since the last revision:

  Refine javadoc.

-------------

Changes:
  - all: https://git.openjdk.org/jdk/pull/17564/files
  - new: https://git.openjdk.org/jdk/pull/17564/files/f1e27bd4..f60114a9

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=17564&range=04
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=17564&range=03-04

  Stats: 4 lines in 1 file changed: 1 ins; 0 del; 3 mod
  Patch: https://git.openjdk.org/jdk/pull/17564.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/17564/head:pull/17564

PR: https://git.openjdk.org/jdk/pull/17564