cambios necesarios para plugin de cobertura de codigo: emma