I’ve added my potential fix as a comment to the issue at
https://bugs.openjdk.java.net/browse/JDK-8185937 
<https://bugs.openjdk.java.net/browse/JDK-8185937>

Scott


Reply via email to