parentNode.deleteRightChildRef(parentNode.highestInternalPos()); } else { if (!deleteHighestNode(parentFrame, parentNode)) {
throw e; parentNode.deleteRightChildRef(leftPos + 2);
throw e; parentNode.deleteRightChildRef(leftPos + 2);
throw e; parentNode.deleteRightChildRef(leftPos + 2);
throw e; parentNode.deleteRightChildRef(leftPos + 2);
throw e; parentNode.deleteRightChildRef(leftPos + 2);
parentNode.deleteRightChildRef(leftPos + 2);
rootNode.deleteRightChildRef(2); survivor.rootDelete(leftNode); return survivor;