After internal discussion, the fix we arrived at is now here: 
http://cr.openjdk.java.net/~mhaupt/8143211/webrev.03/

Looks good.

Best regards,
Vladimir Ivanov

Reply via email to