+1 Am 2015-10-07 um 13:43 schrieb Michael Haupt: > Dear all, > > please review this (mostly cosmetic) change. > RFE: https://bugs.openjdk.java.net/browse/JDK-8139038 > Webrev: http://cr.openjdk.java.net/~mhaupt/8139038/webrev.00 > > Thanks, > > Michael >