Correct Jacoco setup