public synchronized void postEdit(UndoableEdit value0) {  }
public synchronized void postEdit(UndoableEdit edit) { if (compoundEdit != null) compoundEdit.addEdit(edit); else _postEdit(edit); }
	public synchronized void postEdit(UndoableEdit value0) {		// TODO	} // postEdit()