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

[Jonathan Gibbons]

On Thu, 25 Jan 2024 19:21:51 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:
> 
>   Respond to review feedback, update copyright year.

src/java.compiler/share/classes/javax/lang/model/util/Elements.java line 706:

> 704:      *                           elementForObjecttoString,
> 705:      *                           elements.getTypeElement("I"));
> 706:      * </pre></blockquote>

This would be better as a `@snippet`
(It's an archaic anti-pattern use of `<blockquote>`)

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

PR Review Comment: https://git.openjdk.org/jdk/pull/17564#discussion_r1466898015