protected UndoableEdit editToBeRedone() { return null; }
protected UndoableEdit editToBeRedone() { UndoableEdit result;  for (int i = indexOfNextAdd; i < edits.size(); i++) { result = (UndoableEdit) edits.get(i); if (result.isSignificant()) return result; }  return null; }
	protected UndoableEdit editToBeRedone() {		return null; // TODO	} // editToBeRedone()