Looks good. I'll sponsor the fix. Best regards, Vladimir Ivanov On 4/15/16 3:24 PM, Roland Westrelin wrote: > That would be good enough as far as I can tell. Here is a new webrev: > > http://cr.openjdk.java.net/~roland/8154135/webrev.01/