On Fri, 30 Sep 2022 13:59:12 GMT, Magnus Ihse Bursie <ihse at openjdk.org> wrote: > Also, FWIW, there are 100+ hits in `test` as well. But that is so many it might warrant a separate PR..? Yes; I think it is sufficient to update src and doc with this PR. ------------- PR: https://git.openjdk.org/jdk/pull/10501