Changed Cobertura version.