added Cobertura plug-in