code: public void removeTangoArchiveListener(ITangoArchiveListener listener)
              throws DevFailed {
          event_listeners.remove(ITangoArchiveListener.class, listener);
          if (event_listeners.size() == 0)
              unsubscribe_event(event_identifier);
      }
docs: =======================================================================