154155156157158159160161162163164
} } private Node findNodeInSourceTree(Node node) { TreeMapperSourceTree sourceTree = tree.getTreeMapper().m_sourceTreeComponent; return sourceTree.findNode(node.m_deName); } @Override public boolean delete(CompletionToken token) { // Not supported