On Fri, 10 Jun 2022 17:12:30 GMT, Kevin Driver <duke at openjdk.java.net> wrote: > This PR resolves: https://bugs.openjdk.org/browse/JDK-8267860 Sorry for the noisy comment section... I was just trying to trigger jcheck. It looks to have been triggered. ------------- PR: https://git.openjdk.org/jdk/pull/9131