On 06/06/2017 08:23, Julian Reschke wrote: > Davide, you did the 1.7.0 release, right? Do you recall how you got > past the error?
Nope. I did the release with the same jdk as I remember I was stuck with the javadoc errors. These for some reasons came up only for this release. I assume it's new stuff but I didn't check. D.
