Hi Dalibor, Le 01/12/2017 à 11:12, dalibor topic a écrit :
> That won't work with 10 either, unfortunately, since the old doclet has > (finally) been removed. Please see > https://bugs.openjdk.java.net/browse/JDK-8177511 for details. There is an undocumented --ignore-source-errors flag in javadoc since Java 9 that could compensate for the loss of the old doclet. Do you know if this flag will be kept in future releases? That would help us greatly. Emmanuel Bourg
