{ get_listeners().removeElement(listener); }
{ listenerList.remove (ListSelectionListener.class, listener); }
    public void removeListSelectionListener(ListSelectionListener listener)    {	get_listeners().removeElement(listener);    }