JDK 16 RFR of JDK-8249687: Use inline @jls and @jvm tages in more places in java.base

[Brian Burkhalter]

Hi Joe,

+1

Brian

> On Jul 17, 2020, at 3:03 PM, Joe Darcy <joe.darcy at oracle.com> wrote:
> 
> Following-up on  JDK-8237805 and some recent observations from Mikael V., there are more locations in the base module where in-line @jls and @jvms tags are appropriate to use. Please review their addition:
> 
>     http://cr.openjdk.java.net/~darcy/8249687.0/ <http://cr.openjdk.java.net/~darcy/8249687.0/>
> 
> I checked that the sections were correct for the current JLS and JVMS, which led to a change of referenced section in AssertionError.