On Wed, Aug 23, 2017 at 3:04 PM, Jonathan Gibbons < jonathan.gibb...@oracle.com> wrote:
> > javadoc is at fault for not giving the warning, and if we fixed the tool > first, we would just get the warnings, and would still have to fix the > comments. > Yeah, but you get synergy - fixing the warnings gives you confidence that you've implemented the tool correctly, and using the tool gives you confidence you've fixed the code properly.