Development moved to https://github.com/spotbugs/spotbugs !
Please if you have a bug and can reproduce it, create an issue at
https://github.com/spotbugs/spotbugs/issues .
This bug tracker and this project are effectively dead, no one will respond here because development moved to https://github.com/spotbugs/spotbugs.
Please read this for details:
https://mailman.cs.umd.edu/pipermail/findbugs-discuss/2016-November/004321.html
https://mailman.cs.umd.edu/pipermail/findbugs-discuss/2017-September/004383.html
Diff: