486f962252
Motivation: JNDI allows to specify an port so we should respect it. Modifications: Use the specified port and if none is specifed use 53. Result: Correct handling of JNDI configured DNS.