On Tue, 3 May 2022 02:02:58 GMT, Xue-Lei Andrew Fan <xuelei at openjdk.org> wrote: >>> Thanks for the rewording. Updated. >> >> I made one more tweak that reads better. > > Yes, it looks better. Updated. Thanks! Looks good, thanks. ------------- PR: https://git.openjdk.java.net/jdk/pull/8065