> On 15 Apr 2016, at 10:34, Michael Haupt <[email protected]> wrote: > > Dear all, > > please review this change. > Bug: https://bugs.openjdk.java.net/browse/JDK-8150956 > Webrev: http://cr.openjdk.java.net/~mhaupt/8150956/webrev.00/ >
+1 Paul.
> On 15 Apr 2016, at 10:34, Michael Haupt <[email protected]> wrote: > > Dear all, > > please review this change. > Bug: https://bugs.openjdk.java.net/browse/JDK-8150956 > Webrev: http://cr.openjdk.java.net/~mhaupt/8150956/webrev.00/ >
+1 Paul.