Integrated: JDK-8283230: Improve @jls usage in ElementType

Wed Mar 16 02:05:43 UTC 2022

On Wed, 16 Mar 2022 00:33:57 GMT, Joe Darcy <darcy at openjdk.org> wrote:

> Improve some semantic links into JLS with actual links.

This pull request has now been integrated.

Changeset: 4df24c5d
Author:    Joe Darcy <darcy at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/4df24c5df38eeacc73097f71383916e9a0933839
Stats:     3 lines in 1 file changed: 0 ins; 0 del; 3 mod

8283230: Improve @jls usage in ElementType

Reviewed-by: jjg, iris

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

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