pushed, http://hg.openjdk.java.net/jdk8/tl/jdk/rev/d30c13172254 Thanks for the contribution! Xuelei On 11/23/2012 8:56 PM, Florian Weimer wrote: > On 11/23/2012 01:52 PM, Xuelei Fan wrote: >> Great catches! Looks fine to me. >> >> Please let me know if you want a sponsor to push the patch. > > Yes, please. >