b) is the best: getDnsResolver, dnsResolver, DNS_RESOLVER The nice thing for getDnsResolver is you never have to guess the right casing. We have lots of "Http..." in class names. It would really look weird to have HTTP. It is simpler to convert between "field name" and "getter name" as well. You just alter the first letter.
So, friends, never let friends to use getDNSResolver :) Vladimir
