code: public void removeTangoInterfaceChangeListener(ITangoInterfaceChangeListener listener)
              throws DevFailed {
          event_listeners.remove(ITangoInterfaceChangeListener.class, listener);
          if (event_listeners.size() == 0)
              unsubscribe_event(eventIdentifier);
      }
docs: =======================================================================