On 6/23/20 4:56 PM, Zhengyu Gu wrote: > Bug: https://bugs.openjdk.java.net/browse/JDK-8248041 > Webrev: http://cr.openjdk.java.net/~zgu/JDK-8248041/webrev.00/ Nice trick, looks good. -- Thanks, -Aleksey