On Mon, 17 Oct 2022 16:35:16 GMT, Leonid Mesnik <lmesnik at openjdk.org> wrote: > The fix is contributed by @plummercj actually. Marked as reviewed by dcubed (Reviewer). Thumbs up. ------------- PR: https://git.openjdk.org/jdk/pull/10730Marked as reviewed by dcubed (Reviewer).