even if we do want to use Cobertura, it should be done outside of this pull request. let's keep it separate