ISPN-4502 Resolving of KDC hostname may fail on some environments

https://issues.jboss.org/browse/ISPN-4502
Is this really needed?