protected void trimEdits(int value0, int value1) {  }
protected void trimEdits(int from, int to) { if (from > to) return;  for (int i = to; i >= from; i--) ((UndoableEdit) edits.get(i)).die();     if (to == from) edits.remove(from); else edits.subList(from, to + 1).clear();  if (indexOfNextAdd > to) indexOfNextAdd = indexOfNextAdd - to + from - 1; else if (indexOfNextAdd >= from) indexOfNextAdd = from; }
	protected void trimEdits(int value0, int value1) {		// TODO	} // trimEdits()