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

[Joe Darcy]

Hello,

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/

I checked that the sections were correct for the current JLS and JVMS, 
which led to a change of referenced section in AssertionError.

Thanks,

-Joe