On 21.06.2018 16:16, Andrew Haley wrote: > On 06/21/2018 02:09 PM, Joshua Zhu wrote: >> I have updated new webrev at >> http://cr.openjdk.java.net/~zyao/8205004/webrev.03/ > That looks right. Dmitrij, do you agree it's correct now? > Yes. Looks good.