fix for https://bugs.openjdk.java.net/browse/JDK-8199765

[Johan Vos]

Can someone review/ack the simple PR for
https://bugs.openjdk.java.net/browse/JDK-8199765  ?

Thanks,

- Johan