On Fri, 15 Apr 2022 19:56:21 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
> > Does this need a jmh benchmark? > > I'm not sure how to compare "before" and "after" meaningfully here. Generally > speaking, I was satisfied when saw that `time` output stayed the same on my > machine; maybe only a few seconds different on a two-minute run of `make > docs`. To add to my previous reply. This PR is about correctness and genuineness, not performance: we should not touch anything unless asked to. As for performance, I'd be surprised if I learned that this fix slows javadoc down. ------------- PR: https://git.openjdk.java.net/jdk/pull/8266
