/**
* notifies the history listeners of the event.
*/
protected void notifyHistoryChangedListeners() {
Iterator iter;
HistoryChangedListener l;
iter = m_HistoryChangedListeners.iterator();
while (iter.hasNext()) {
l = (HistoryChangedListener) iter.next();
l.historyChanged(
new HistoryChangedEvent(this, HISTORY_NAME, getHistory()));
}
}