Fix JaCoCo hack