On Mon, 2 May 2022 17:45:44 GMT, Xue-Lei Andrew Fan <xuelei at openjdk.org> wrote: > Thanks for the rewording. Updated. I made one more tweak that reads better. ------------- PR: https://git.openjdk.java.net/jdk/pull/8065