- jenkins: generate cobertura-coverage.xml