public void addHistoryChangedListener(HistoryChangedListener l){
  m_HistoryChangedListeners.add(l);
}

public void addHistoryChangedListener ( HistoryChangedListener l ) { m_HistoryChangedListeners . add ( l ) ; }
adds the given listener to the list of listeners .
