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

Wed Apr 6 22:17:53 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.

This pull request has now been integrated.

Changeset: 5a21397f
Author:    Pavel Rappo <prappo at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/5a21397f709e5c684d9462ecaecf2d5db023e778
Stats:     174 lines in 62 files changed: 2 ins; 41 del; 131 mod

8284387: Fix formatting of doc comments in jdk.javadoc

Reviewed-by: jjg

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

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