Updated coverage tool (JaCoCo -> Cobertura).