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

[Jonathan Gibbons]

On Thu, 25 Jan 2024 21:38:31 GMT, Archie Cobbs <acobbs at openjdk.org> wrote:

>> While snippets do provide the ability to copy the code to the clipboard, they also provide stylistic consistency for the reader, which is good. And maybe one of these days, we'll add support for syntax highlighting ;-)
>
>> Aside, FWIW, as a result of seeing your initial version, I did a repo-wide search for legacy use of `@` (used a long time ago to avoid the annotation/block-tag conflict.). The good news is that there are no other instances of `@` in OpenJDK, so we must have done a cleanup in times past.
> 
> (drive by comment) One would also need to also look for `@` which is still found in 15 files.

@archiecobbs Thanks for that; I'll file an JBS issue to fix them

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

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