void addServer(String host, int port)
throws ServerAlreadyKnownException {
if (getServerPosition(host, port) != -1) {
throw new ServerAlreadyKnownException("Already got " + host + ":" +
port);
}
// Put in a random position to ensure load balancing across servers
int position = notifierClient.generator.nextInt(servers.size() + 1);