I do a:
java.net.InetAddress serverAddr; try { serverAddr = java.net.InetAddress.getByName(Server.SERVERNAME); } catch (java.net.UnknownHostException exc
I've found the answer. For whatever reason, you have to use:
java.net.InetAddress[] x= java.net.InetAddress.getAllByName(Server.SERVERNAME) ; HelloWorldActivity.tv.setText("Address: "+x[0].getHostAddress());