+1 Thanks for fixing -- Jon On 8/18/20 10:21 AM, Pavel Rappo wrote: > Hello, > > Please review the below change for https://bugs.openjdk.java.net/browse/JDK-8251357 > > http://cr.openjdk.java.net/~prappo/8251357/webrev.00/ > > Thanks, > -Pavel >