JaroslavTulach Jackpot is better than spotbugs