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

[Jonathan Gibbons]

On Thu, 25 Jan 2024 20:39:49 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:
> 
>   Update to use a snippet.

Marked as reviewed by jjg (Reviewer).

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

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