A DNS client in Java