getButton(IDialogConstants.OK_ID).setEnabled(true);
progressBar.setVisible(false);
}
void digException(Exception e) {
Activator myPlugin = Activator.getDefault();
myPlugin.getLog().log(
new Status(IStatus.ERROR, myPlugin.getBundle()
.getSymbolicName(), "Error digging for Hudson servers",
e));
}