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

[Joe Darcy]

On Thu, 25 Jan 2024 19:55:47 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

>> 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>`)

Is there a way to have `@Override` represented in the snippet? I can give that a try.

I don't think there is a strong need for this particular code and to be cut-and-pasted easily, but I can use more current features if possible.

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

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