src/jdk.naming.dns/share/classes/com/sun/jndi/dns/DnsNameParser.java
changeset 54656 3f72db799fbd
parent 47216 71c04702a3d5