On 26/02/2015 22:09, Xueming Shen wrote: > > thanks! webrev has been updated accordingly. > > http://cr.openjdk.java.net/~sherman/8073924/webrev We could probably improve it further but what you have is good and not worth spending more time on it. -Alan