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

[Joe Darcy]

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.

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

Commit messages:
 - 8258140

Changes: https://git.openjdk.java.net/jdk16/pull/15/files
 Webrev: https://webrevs.openjdk.java.net/?repo=jdk16&pr=15&range=00
  Issue: https://bugs.openjdk.java.net/browse/JDK-8258140
  Stats: 6 lines in 4 files changed: 0 ins; 0 del; 6 mod
  Patch: https://git.openjdk.java.net/jdk16/pull/15.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk16 pull/15/head:pull/15

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