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

Fri Apr 15 19:59:42 UTC 2022

On Fri, 15 Apr 2022 19:08:20 GMT, XenoAmess <duke at openjdk.java.net> 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`.

-------------

PR: https://git.openjdk.java.net/jdk/pull/8266