Bump spotbugs from 4.7.0 to 4.7.1