updated cobertura plugin version