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

[Joe Darcy]

Changeset: e9113517
Author:    Joe Darcy <darcy at openjdk.org>
Date:      2020-12-15 16:48:31 +0000
URL:       https://git.openjdk.java.net/jdk16/commit/e9113517

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

Reviewed-by: psandoz

! src/java.base/share/classes/java/lang/Enum.java
! src/java.base/share/classes/java/lang/annotation/Repeatable.java
! src/java.base/share/classes/java/lang/annotation/Target.java
! src/java.base/share/classes/java/lang/reflect/Method.java