modified cobertura plugin