Experience with Java: faster HTTP header clawler with DNS lookup.