683684685686687688689690691
void removeServer(String host, int port) throws ServerNotKnownException { int position = getServerPosition(host, port); if (position == -1) { throw new ServerNotKnownException("Unknown host " + host + ":" + port); } servers.remove(position); }