Erik, Ralf:

Please review this fix for problem 1 described below. The patch is
basically what Ralf suggested.

Bug: https://bugs.openjdk.java.net/browse/JDK-8207001
Webrev: http://cr.openjdk.java.net/~erikj/8207001/webrev.01/

Looks good.

/Tim


Reply via email to