findbugs, jacoco and animal sniffer