Hi all, just a question, I hope this is the correct mailing list.
There is https://bugs.openjdk.java.net/browse/JDK-8016345, which is about DNSName not accepting host names with leading numbers, which is valid according to https://tools.ietf.org/html/rfc1123 (Section 2.1). This bug was marked as a duplicate of https://bugs.openjdk.java.net/browse/JDK-8007706, which I do not understand - what do these errors have in common? I try to understand why JDK-8016345 was marked as will-not-fix. Are there any reasons to not fix the parser in DNSName.java (because the fix itself looks trivial)? Thank you, and Kind Regards, Thomas
