On Thu, 14 Sep 2023 23:58:33 GMT, Brian Burkhalter <bpb at openjdk.org> wrote: > [...] perhaps it would be worthwhile to convert to Junit Please see dad75c580e65c4cc76f8f59e25295d904eb61410. ------------- PR Comment: https://git.openjdk.org/jdk/pull/15757#issuecomment-1721729369