Martin, It appears we should make the defensive copy in this case, as we usually do in lib code. http://cr.openjdk.java.net/~sherman/4853493/webrev -Sherman