+1 Am 2016-01-14 um 10:37 schrieb Michael Haupt:
Dear all,please review this change. Bug: https://bugs.openjdk.java.net/browse/JDK-8036977 Webrev: http://cr.openjdk.java.net/~mhaupt/8036977/webrev.00 The push solely consists of a test, as the original bug was fixed in an earlier push. Best, Michael
