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

[Sean Mullan]

Good catch, I actually closed it as a duplicate but marked it as a 
duplicate of the wrong bug, it should have been 
https://bugs.openjdk.java.net/browse/JDK-8054380

I fixed it so 8054380 is now the duplicate.

--Sean

On 3/27/17 9:26 AM, Thomas Stüfe wrote:
> 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