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

[Joe Darcy]

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.

This pull request has now been integrated.

Changeset: e9113517
Author:    Joe Darcy <darcy at openjdk.org>
URL:       https://git.openjdk.java.net/jdk16/commit/e9113517
Stats:     6 lines in 4 files changed: 0 ins; 0 del; 6 mod

8258140: Update @jls tags in java.base for renamed/renumbered sections

Reviewed-by: psandoz

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

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