protected static void revertOutlinerDocument(OutlinerDocument document) {
		int result = JOptionPane.showConfirmDialog(document, GUITreeLoader.reg.getText("confirmation_revert_file"), "", JOptionPane.YES_NO_OPTION);
		if (result == JOptionPane.YES_OPTION) {
			FileMenu.revertFile(document);
		} else if (result == JOptionPane.NO_OPTION) {
			return;
		}
	}