On Tue, 17 Jan 2023 02:32:19 GMT, David Holmes <dholmes at openjdk.org> wrote: > Filed [JDK-8300227](https://bugs.openjdk.org/browse/JDK-8300227) Oops. Thanks for your report. Let me take a look. ------------- PR: https://git.openjdk.org/jdk/pull/11382