update maven-checkstyle-plugin version
update maven-jxr-plugin version
update maven-pmd-plugin version
update findbugs-maven-plugin version
cobertura-maven-plugin
improve EditDistanceAutomaton test coverage