Fix problem with jacoco