On 3/27/17 11:41 AM, Thomas Stüfe wrote:

thanks for the info. So, basically, there is no particular reason I'm
too blind to see not to fix the parser to accept hostnames with leading
numbers, e.g., just lack of time/resources? I am asking because then we
could fix it in our product downstream and maybe contribute the fix to
upstream.

There is no particular reason that I am aware of. Please feel free to fix it on your side and contribute a patch. In case you are not familiar with contributing to OpenJDK, the process is described in more detail here: http://openjdk.java.net/contribute/

--Sean

Reply via email to