void updateServerList(Map<Integer, Server> servers)
  {
    Object[] integers = servers.keySet().toArray();
    Arrays.sort(integers);
    String names[] = new String[integers.length];
    for (int i = 0; i < integers.length; i++)
      names[i] = "Server " + integers[i];
    serverList.setListData(names);
  }