void (@NotNull TreeChangeEventImpl sourceTreeChange, @NotNull TreeElement oldChild, @NotNull TreeElement newChild) { sourceTreeChange.addElementaryChange(oldChild.getTreeParent()); oldChild.rawReplaceWithList(newChild); }