On Tue, 26 Apr 2022 20:40:50 GMT, Bradford Wetmore <wetmore at openjdk.org> wrote: >> Wasn't there another bug to address this? > > Perhaps as part of [JDK-6725221](https://bugs.openjdk.java.net/browse/JDK-6725221)? No problem. ------------- PR: https://git.openjdk.java.net/jdk/pull/8384