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
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