On 08/07/2017 04:59 PM, Zhengyu Gu wrote: > Bug: https://bugs.openjdk.java.net/browse/JDK-8185884 > Webrev: http://cr.openjdk.java.net/~zgu/8185884/webrev.00/ That makes sense. Looks good! -Aleksey