On 28 Oct 2015, at 9:07, Jochen Wiedmann wrote: > On Wed, Oct 28, 2015 at 4:35 PM, Till Westmann <[email protected]> wrote: > >> I think that this is mainly about doclint, the 4th bullet point in [1]. > > If so, wouldn't be "-Xdoclint:none" in a suitable profile a quicker > and less intrusive solution?
Yes, but fixing the javadoc doesn’t seem to be a bad idea either - especially in those place where we’re producing broken HTML right now :) Cheers, Till
