Try to fix Cobertura settings