Fix version for SpotBugs.