On Tue, Mar 6, 2018 at 2:24 PM, Gilles <[email protected]> wrote: > (1) > "FindBugs" should be replaced by "SpotBugs" (or there will > be failures when creating "module-info" files).
+1 to doing this change quickly, possibly blocking a release. Jochen --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
