On 07/03/2013 02:57, Martin Buchholz wrote: > Pushed to jdk8/tl/jdk. > I recommend this be backported to jdk7u. I agree that it would be good to backport. It doesn't happen automatically so you'll need to mail jdk7u-dev asking for approved to push it to jdk7u/jdk7u-dev. -Alan