On Fri, 18 Dec 2020 12:43:43 GMT, Richard Reingruber <rrich at openjdk.org> wrote: > I'm using [present perfect](https://en.wikipedia.org/wiki/Present_perfect). I agree: present perfect is correct here. ------------- PR: https://git.openjdk.java.net/jdk/pull/1815