private void ProcessReRoot(JadeNode node) {
		if (node.isTheRoot() || node.isExternal()) {
			return;
		}
		if (node.getParent() != null) {
			ProcessReRoot((JadeNode) node.getParent());
		}
		// Exchange branch label, length et cetera
		exchangeInfo((JadeNode) node.getParent(), node);
		// Rearrange topology
		JadeNode parent = (JadeNode) node.getParent();
		node.addChild(parent);
		parent.removeChild(node);
		parent.setParent(node);
	}