Fix some quality flaws in JaCoCo