On 04/27/2016 03:38 PM, Michael Haupt wrote: > Dear all, > > please review this change. > Bug: https://bugs.openjdk.java.net/browse/JDK-8155106 > Webrev: http://cr.openjdk.java.net/~mhaupt/8155106/webrev.00/ Looks okay. -Aleksey