+1 Am 2016-03-09 um 14:25 schrieb Michael Haupt: > Dear all, > > please review this fix. > Bug: https://bugs.openjdk.java.net/browse/JDK-8151518 > Webrev: http://cr.openjdk.java.net/~mhaupt/8151518/webrev.00/ > > Thanks, > > Michael >