RFR: 8284697: Avoid parsing the doc comment of an element that is not documented

Fri Apr 15 20:10:42 UTC 2022

On Fri, 15 Apr 2022 19:56:21 GMT, Pavel Rappo <prappo at 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