+1 On 2/29/2016 1:42 PM, Michael Haupt wrote: > Dear all, > > please review this very small fix. > Bug: https://bugs.openjdk.java.net/browse/JDK-8150814 > Webrev: http://cr.openjdk.java.net/~mhaupt/8150814/webrev.00/ > > Thanks, > > Michael >