Java API for the whois server list