public void removeHistoryChangedListener(HistoryChangedListener l){
  m_HistoryChangedListeners.remove(l);
}

public void removeHistoryChangedListener ( HistoryChangedListener l ) { m_HistoryChangedListeners . remove ( l ) ; }
removes the given listener from the list of listeners .
