[jdk16] RFR: 8258060: Update @jls tags for renamed/renumbered sections

[Joe Darcy]

On Thu, 10 Dec 2020 22:58:55 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

>> Given upcoming changes in the JLS terminology around the term "type", various sections were renamed:
>> 
>>     https://download.java.net/java/early_access/jdk16/docs/specs/class-terminology-jls.html
>> 
>> The @jls tags in the java.compiler module which refer to the renamed sections should be updated.
>
> src/java.compiler/share/classes/javax/lang/model/AnnotatedConstruct.java line 187:
> 
>> 185:      * @see MirroredTypeException
>> 186:      * @see MirroredTypesException
>> 187:      * @jls 9.6.1 Annotation Elements
> 
> Slightly surprising... but I agree that it matches JLS

Alex confirmed off-list that the intended title for that section is "Annotation Interface Elements"; I'll make the adjustment and get the change integrated.
Thanks.

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

PR: https://git.openjdk.java.net/jdk16/pull/4