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

[Jonathan Gibbons]

On Thu, 10 Dec 2020 22:25:33 GMT, Joe Darcy <darcy 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.

Marked as reviewed by jjg (Reviewer).

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

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

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