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

[Pavel Rappo]

On Thu, 25 Jan 2024 18:12:52 GMT, Joe Darcy <darcy at openjdk.org> wrote:

>> 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.

Marked as reviewed by prappo (Reviewer).

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

PR Review: https://git.openjdk.org/jdk/pull/17564#pullrequestreview-1844449684