addr = ((DNSRecord.Address)rec).getAddress();
addr = ((DNSRecord.Address)rec).getInetAddress();
    void updateRecord(JmDNS jmdns, long now, DNSRecord rec)    {	if ((rec != null) && !rec.isExpired(now)) {	    switch (rec.type) {	      case TYPE_A:		if (rec.name.equals(server)) {		    addr = ((DNSRecord.Address)rec).getAddress();		}		break;	      case TYPE_SRV:		if (rec.name.equals(name)) {		    DNSRecord.Service srv = (DNSRecord.Service)rec;		    server = srv.server;		    port = srv.port;		    weight = srv.weight;		    priority = srv.priority;		    addr = null;		    updateRecord(jmdns, now, (DNSRecord)jmdns.cache.get(server, TYPE_A, CLASS_IN));		}		break;	      case TYPE_TXT:		if (rec.name.equals(name)) {		    DNSRecord.Text txt = (DNSRecord.Text)rec;		    text = txt.text;		}		break;	    }	}    }