RFR: 8338014: Improve usage of @jvms tags in class file API

[Joe Darcy]

On Thu, 8 Aug 2024 18:15:29 GMT, Sonia Zaldana Calles <szaldana at openjdk.org> wrote:

> Hi all, 
> 
> This PR addresses [8338014](https://bugs.openjdk.org/browse/JDK-8338014) improving the use of `@jvms` tags by adding `JVMS` prior to the tag. 
> 
> Thanks, 
> Sonia

Looks fine; increasing review count to also include someone who more directly maintains this API.

If you haven't done so already, I recommend also doing a quick check for an analagous issue with `@jls` tags in this API.

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

Marked as reviewed by darcy (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/20513#pullrequestreview-2233780253