On 27/01/17 11:21, Andrew Dinn wrote: > I have raised JDK-8173473 to fix this. I could post a patch against > jdk9-dev but I'm unsure whether it is ok for it to go into JDK9 or > whether it needs to wait for JDK10? Do it now, please. Andrew.