{ undo_list.addElement(listener); }
{ listenerList.add(UndoableEditListener.class, listener); }
    public void addUndoableEditListener(UndoableEditListener listener)    {	undo_list.addElement(listener);    }