> On 13 Apr 2016, at 16:39, Michael Haupt <[email protected]> wrote: > > Dear all, > > please review this change. > Bug: https://bugs.openjdk.java.net/browse/JDK-8150824 > Webrev: http://cr.openjdk.java.net/~mhaupt/8150824/webrev.00/ > > The actual bug was fixed with the push for 8150829; this change merely > contributes tests for the issue. >
+1 Paul. > Thanks, > > Michael >
