Specify the Cobertura coverage file.