Workaround for jacoco/jacoco/pull/40