On Sat, 7 Jan 2023 03:34:02 GMT, SWinxy <duke at openjdk.org> wrote: > Added in JDK-8192888, and became unused in JDK-8213843. The change looks fine ------------- PR: https://git.openjdk.org/jdk/pull/11890