Thanks for the report.  This seems to be a real issue and one of our
engineers filed:

https://bugs.openjdk.java.net/browse/JDK-8026288

Great!

Let me know if you want me to test patches.

- Julien

Reply via email to