private Collection buildServerPlatformNames() {
Collection servers =
CollectionTools.sortedSet(ServerPlatformManager.instance().platformShortNames());
String serverClassName = NullServerPlatformAdapter.instance().getServerClassName();
servers.remove(ClassTools.shortNameForClassNamed(serverClassName));
return servers;
}
private void updateServerPlatformWidgets(String serverClassName) {
boolean selected = (serverClassName != null);
if (selected) {
ServerPlatformAdapter noServerPlatform = NullServerPlatformAdapter.instance();
String noServerPlatformClassName =
ClassTools.shortNameForClassNamed(noServerPlatform.getServerClassName());
selected = !serverClassName.equals(noServerPlatformClassName);
}
this.useServerPlatformCheckBox.setSelected(selected);
this.serverPlatformWidgets.setEnabled(selected);
}
public String shortName() {
return ClassTools.shortNameForClassNamed(this.name);
}