updates to cobertura plugin