see whether this makes cobertura showing 100% again