As was done for JLS references under JDK-8283234, now the analogous update for JVMS references.
------------- Commit messages: - JDK-8283274: Improve @jvms usage in java.base Changes: https://git.openjdk.java.net/jdk/pull/7844/files Webrev: https://webrevs.openjdk.java.net/?repo=jdk&pr=7844&range=00 Issue: https://bugs.openjdk.java.net/browse/JDK-8283274 Stats: 12 lines in 6 files changed: 0 ins; 0 del; 12 mod Patch: https://git.openjdk.java.net/jdk/pull/7844.diff Fetch: git fetch https://git.openjdk.java.net/jdk pull/7844/head:pull/7844 PR: https://git.openjdk.java.net/jdk/pull/7844