RFR: 8284387: Fix formatting of doc comments in jdk.javadoc

Wed Apr 6 20:02:42 UTC 2022

On Wed, 6 Apr 2022 13:12:36 GMT, Pavel Rappo <prappo at openjdk.org> wrote:

> JDK-8284362 highlighted some issues with formatting of top-level doc comments. This PR fixes those issues and similar issues elsewhere in jdk.javadoc.

Somewhat tedious (for all concerned, I imagine) but ultimately worthwhile as part of the ongoing work to generally improve the code quality for the tool.  Thanks for the work.

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

Marked as reviewed by jjg (Reviewer).

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