DataNode (@NotNull DataNode node) { DataNode modifiedDataNode = (DataNode)node.getUserData(MODIFIED_NODE_KEY); if (modifiedDataNode == null) { modifiedDataNode = node.nodeCopy(); node.putUserData(MODIFIED_NODE_KEY, modifiedDataNode); } return modifiedDataNode; }