public void removeTangoUserListener(ITangoUserListener listener) 
                throws DevFailed
    {
        event_listeners.remove(ITangoUserListener.class,listener);
        if ( event_listeners.size() == 0 )
           unsubscribe_event(event_identifier);

    }
public void removeTangoUserListener ( ITangoUserListener listener ) throws DevFailed { event_listeners . remove ( ITangoUserListener . class , listener ) ; if ( event_listeners . size ( ) == 0 ) unsubscribe_event ( event_identifier ) ; }
=======================================================================