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