On Tue, 25 Jun 2024 10:21:41 GMT, Christian Stein <cstein at openjdk.org> wrote: > This reverts commit a8698b72b3695778c946752fe22c1f6fadfbe936. Marked as reviewed by jjg (Lead). ------------- PR Review: https://git.openjdk.org/jtreg/pull/209#pullrequestreview-2142205903