Integrated: 8339631: Fix block @jls and @jvms tags

[Pavel Rappo]

On Thu, 5 Sep 2024 21:46:34 GMT, Pavel Rappo <prappo at openjdk.org> wrote:

> This fixes some of the recently discovered [issues] with the block variants of the specification tags. While reviewing, please check the proposed changes against the actual specifications. Since the specifications for JDK 23 are not yet available in the HTML format, you can use the specifications for JDK 22, which are reasonably up-to-date:
> 
>   - [JLS]
>   - [JVMS]
> 
> Note that this PR does NOT address any issues with the inline variants of the said tags. Those are harder to check. Even flagging suspicious tags requires a human. If you have some time, consider performing similar checks for inline `@jls` and `@jvms` tags in your area. Thanks.
> 
> [issues]: https://bugs.openjdk.org/browse/JDK-8339558
> [JLS]: https://docs.oracle.com/javase/specs/jls/se22/html/index.html
> [JVMS]: https://docs.oracle.com/javase/specs/jvms/se22/html/index.html

This pull request has now been integrated.

Changeset: 88cccc14
Author:    Pavel Rappo <prappo at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/88cccc14db168876a60b5ea2ae9d0fda7969af9a
Stats:     54 lines in 22 files changed: 1 ins; 1 del; 52 mod

8339631: Fix block @jls and @jvms tags

Reviewed-by: liach, darcy, jjg

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

PR: https://git.openjdk.org/jdk/pull/20879