[jdk16] RFR: 8258140: Update @jls tags in java.base for renamed/renumbered sections

Tue Dec 15 16:14:56 UTC 2020

On Sat, 12 Dec 2020 18:40:16 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.base module which refer to the renamed sections should be updated.
>  Analogous changes in the java.compiler module made under JDK-8258060.

Marked as reviewed by psandoz (Reviewer).

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

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