hg: jdk9/dev/jdk: 8035105: DNS provider cleanups

[alan.bateman at oracle.com]

Changeset: 633306e61f52
Author:    alanb
Date:      2014-02-20 10:41 +0000
URL:       http://hg.openjdk.java.net/jdk9/dev/jdk/rev/633306e61f52

8035105: DNS provider cleanups
Reviewed-by: alanb
Contributed-by: fweimer at redhat.com

! src/share/classes/com/sun/jndi/dns/DnsClient.java
! src/share/classes/com/sun/jndi/dns/ResourceRecord.java
+ test/com/sun/jndi/dns/Parser.java