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

[Kevin Rushforth]

+1

On 4/18/2018 11:18 PM, Johan Vos wrote:

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

Thanks,

- Johan