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

[Chen Liang]

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

I think we can just make `{@jvms }` inline versions emit JVMS and JLS prefix if there's some other text in the body, like `{@jvms 4.7.20 The {@code RuntimeVisibleTypeAnnotations} attribute}` may render

JVMS 4.7.20 The `RuntimeVisibleTypeAnnotations` attribute

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

PR Comment: https://git.openjdk.org/jdk/pull/20513#issuecomment-2284750345