Le 5/09/2017 à 00:38, tony mancill a écrit : > thank you for reporting this bug. For the Java Team, any strong > opinions on whether we should upload a new src:spotbugs package or > continue with src:findbugs? I'd rather go with a new src:spotbugs package for a smoother transition. Emmanuel Bourg