Fix JaCoCo inclusions