JaCoCo seems to work on Jenkins. Just a ratio-change...