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

[Joe Darcy]

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.

This pull request has now been integrated.

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

8258060: Update @jls tags for renamed/renumbered sections

Reviewed-by: jjg, abuckley

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

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