JDK-8016345 (DNSName does not accept names with leading numbers) will-not-fix? Why?

[Thomas Stüfe]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/security-dev/attachments/20170327/774396d5/attachment.htm>