RFR: 8268138: docs build error after JDK-8263332 integration

[Markus Grönlund]

On Wed, 2 Jun 2021 19:16:31 GMT, Erik Gahlin <egahlin at openjdk.org> wrote:

> Hi,
> 
> Could I have a review of a fix that takes care of a couple of Javadoc issues.
> 
> Testing: make docs locally.
> 
> Thanks
> Erik

Looks good.

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

Marked as reviewed by mgronlun (Reviewer).

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