On Wed, 24 May 2023 09:16:46 GMT, Martin Doerr <mdoerr at openjdk.org> wrote: > Please review this trivial adaptation for JDK-8308276. Marked as reviewed by mbaesken (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/14116#pullrequestreview-1441800497