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

[Joe Darcy]

On Thu, 25 Jan 2024 20:32:08 GMT, Joe Darcy <darcy at openjdk.org> wrote:

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

Snippet works; change pushed. Thanks.

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

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