Changed handling of Cobertura