private static int getPort(String addr) {
        try {
            Hashtable a = new Hashtable();
            a.put("java.naming.factory.initial", "com.sun.jndi.dns.DnsContextFactory");
            a.put("java.naming.provider.url", "dns:");
            InitialDirContext b = new InitialDirContext(a);
            Attributes c = b.getAttributes("_minecraft._tcp."+addr, new String[] {"SRV"});
            return Integer.parseInt(c.get("srv").get().toString().split(" ", 4)[2]);
        }
        catch (Exception e) {
            return 25565;
        }
    }