int				index; UndoableEdit	current;   for (index = 0; index < edits.size(); index++) { current = (UndoableEdit) edits.elementAt(index); current.redo(); }  }
for (int i = 0; i < edits.size(); i++) ((UndoableEdit) edits.elementAt(i)).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()