the bug reference in my last message - was wrong, it's https://bugs.openjdk.java.net/browse/JDK-8233040

Reply via email to