On Wed, 15 Feb 2023 19:25:20 GMT, Naoto Sato <naoto at openjdk.org> wrote: > Good cleanup. Filed an issue: https://bugs.openjdk.org/browse/JDK-8302603 Thank you! ------------- PR: https://git.openjdk.org/jdk/pull/12570