> On 23 May 2016, at 16:58, Michael Haupt <michael.haupt at oracle.com> wrote: > > Dear all, > > please review this fix. > Bug: https://bugs.openjdk.java.net/browse/JDK-8157590 > Webrev: http://cr.openjdk.java.net/~mhaupt/8157590/webrev.00/ > +1 Paul.