On Mon, 28 Jun 2021 18:37:34 GMT, Naoto Sato <na...@openjdk.org> wrote:
>> Please review this small doc change to the system property. Accompanying CSR >> has also been created. > > Naoto Sato has updated the pull request incrementally with one additional > commit since the last revision: > > Refined wording. Thanks. I updated the PR and CSR accordingly. As to removing "of", I think the current form is fine, but I am not a native English speaker, so happy to correct it if it is wrong. ------------- PR: https://git.openjdk.java.net/jdk17/pull/163
