public void dehoist() {
		// Shorthand
		JoeTree tree = hoistedNode.getTree();
		tree.setRootNodeCommentState(oldTreeCommentState);
		
		hoistedNode.setHoisted(false);

		// Prune things
		tree.setRootNode(oldNodeSet);
		tree.getVisibleNodes().clear();
		hoistedNodeParent.insertChild(hoistedNode, hoistedNodeIndex);
		hoistedNode.setDepthRecursively(hoistedNodeDepth);
		for (int i = 0; i < oldNodeSet.numOfChildren(); i++) {
			Node node = oldNodeSet.getChild(i);
			tree.insertNode(node);
		}
				
		return;
	}