Jacoco modification