On 01/04/2018 04:37 PM, Jonathan Gibbons wrote:
One other change may be relevant: JDK-8177588, in which we made javadoc be more strict when it encounters compilation errors. This was fix in JDK 10 b10.
We can probably take this off the table, as the fix originally appeared in JDK 9.
-- Jon
