IElectraDecoderDefaultOutputFormat::~IElectraDecoderDefaultOutputFormat