On Sat, 11 Sep 2021 01:43:21 GMT, Yasumasa Suenaga <ysuenaga at openjdk.org> wrote: >> I posted the PR: https://github.com/openjdk/jdk/pull/5472 > > Thanks! I will modify this PR after merging #5472 . I merged #5472 . ------------- PR: https://git.openjdk.java.net/jdk/pull/5407