On Fri, 23 Jun 2023 21:59:21 GMT, Pavel Rappo <prappo at openjdk.org> wrote: > NPE was seemingly caught to cover for other being null. Unlike that of other file in this PR. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/12328#discussion_r1240446275