public void redo() throws CannotRedoException {
public void redo() throws CannotRedoException {   super.redo();
	public void redo() throws CannotRedoException {		// Variables		int				index;		UndoableEdit	current;		// Loop through all contained UndoableEdits		for (index = 0; index < edits.size(); index++) {			current = (UndoableEdit) edits.elementAt(index);			current.redo();		} // for: index	} // redo()