RFR: 8292892: Javadoc index descriptions are not deterministic [v2]

[John Neffenger]

On Tue, 6 Sep 2022 21:22:01 GMT, John Neffenger <jgneff at openjdk.org> wrote:

>> Please review these changes to the Javadoc index builders. This pull request adds 423 missing entries to the index of the JDK API Specification, corrects their package names in the member search index, and makes their descriptions deterministic. I'll follow up with more information in a separate comment.
>
> John Neffenger has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Rename test class members and rewrite its comments

Thanks, Jonathan. A minor protocol question (my first JDK commit since it moved to GitHub): Is a pull request author supposed to press the "Re-request review" icons on GitHub when changes from a prior review are complete? I cycled through those buttons a couple of times because each time I clicked the button for one reviewer, it seemed to disable it for the other. In general, do reviewers wait for that request?

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

PR: https://git.openjdk.org/jdk/pull/10070