RFR: 7903659 Verify Problemlist contents [v4]

[Ludvig Janiuk]

On Fri, 8 Mar 2024 19:06:51 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

>> I also find `--verify-exclude` more pleasing, but for reasons unknown to me, all the existing jtreg flags use a single dash even for the long versions. The majority also seem to concatenate words with no separator, although there are examples of both kebab-case and camelCase. For these reasons, I would opt for the flag as it is written.
>
> The existing options are all "very old" and the style goes all the way back to the beginning of java-time, in the mid 90s. We have started using the double-dash form for recent options, especially where like-named options appear in other tools -- most notably `--class-path` etc.
> 
> When we started introducing the double-dash form in JDK 9 ([JEP 293](https://openjdk.org/jeps/293)) there was general agreement that we should not go back and "gratuitously" update existing old-form options. But equally, there was also general agreement to use the new double-dash form for new options.

https://openjdk.org/jeps/293 was good reading! I'll switch over to --verify-exclude.

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

PR Review Comment: https://git.openjdk.org/jtreg/pull/181#discussion_r1519350352