Docs generated by Java8 Javadoc are incompatible with "javadoc -source 8"

[Roman Marchenko]

Hi Jon,

May I propose a fix for JDK-8297437?
I prepared the changes in my JDK fork, so here is the branch comparison:
https://github.com/openjdk/jdk/compare/master...wkia:jdk:fix-8297437
If it’s appropriate I’d create a pull request.

Thanks.

- Roman
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/javadoc-dev/attachments/20221209/ff0e57e5/attachment.htm>