@Override
      protected Emitter newXMLEmitter(Properties properties) {
        return new TracingOutputter(dbg.getEventQueue(), super.newXMLEmitter(properties));
      }
@Override
      protected Emitter newXMLEmitter(Properties properties)