Convert JaCoCo coverage reports to Cobertura coverage reports