RE: 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