public String getRedoPresentationName()	{ if (edits.size() == 0) { return super.getRedoPresentationName(); } else { return lastEdit().getRedoPresentationName(); } }
public String getRedoPresentationName() { UndoableEdit last;  last = lastEdit(); if (last == null) return super.getRedoPresentationName(); else return last.getRedoPresentationName(); }
	public String getRedoPresentationName()	{		if (edits.size() == 0) {			return super.getRedoPresentationName();		} else {			return lastEdit().getRedoPresentationName();		}	} // getRedoPresentationName()