jdk/src/jdk.naming.dns/share/classes/com/sun/jndi/dns/DnsNameParser.java
changeset 38439 8a3871cd7fca
parent 25859 3317bb8137f4