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

[Jonathan Gibbons]

On Thu, 25 Jan 2024 22:11:33 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

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

I count 55 instances in 15 files in 5 modules, although not all are in public APIs

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

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