if (!loadStatus.isOK()) {
String title = getResourceString("WarningDialogTitle");
String message = getResourceString("OpenErrorsWarning");
String details = loadStatus.getDebugMessage();
DetailsDialog dialog = new DetailsDialog(this, title, message, details, DetailsDialog.MessageType.WARNING);
dialog.doModal();
}
// reset the table top explorer
getTableTop().addGemGraphChangeListener(getTableTopExplorer());
getTableTopExplorerAdapter().getTableTopExplorer().rebuildTree();