On 05/29/2019 11:09 AM, Aleksey Shipilev wrote: > On 5/29/19 4:04 PM, Gustavo Romero wrote: >>> Bug : https://bugs.openjdk.java.net/browse/JDK-8223660 >>> Webrev: http://cr.openjdk.java.net/~gromero/8223660/v1/ > > Looks good to me. Thanks for the review, Aleksey! Best regards, Gustavo