cobertura default plugin removed