On Tue, 10 Jun 2025 19:39:33 GMT, Chris Plummer <cjplum...@openjdk.org> wrote:
> > I think the `@comment` should be before the `@requires`. Yes it seems at most places the comment is in front. I moved the comments . ------------- PR Comment: https://git.openjdk.org/jdk/pull/25575#issuecomment-2961406162
