Integrated: JDK-8283234: Improve @jls usage in java.base

Wed Mar 16 16:21:47 UTC 2022

On Wed, 16 Mar 2022 03:03:23 GMT, Joe Darcy <darcy at openjdk.org> wrote:

> Checking the java.bases sources revealed a number of other instances where conceptual links into the JLS (or JVMS) could be upgraded to actual links.

This pull request has now been integrated.

Changeset: 0cf291bc
Author:    Joe Darcy <darcy at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/0cf291bc31acf69c767c5d39d21b1195e6d761b2
Stats:     21 lines in 5 files changed: 0 ins; 0 del; 21 mod

8283234: Improve @jls usage in java.base

Reviewed-by: iris

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

PR: https://git.openjdk.java.net/jdk/pull/7834