/** * To clear any dead server with same host name and port of any online server */ void clearDeadServersWithSameHostNameAndPortOfOnlineServer() { ServerName sn = null; for (ServerName serverName : getOnlineServersList()) { while ((sn = ServerName. findServerWithSameHostnamePort(this.deadservers, serverName)) != null) { this.deadservers.remove(sn); } } }