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);
 }