updated cobertura plugin