On 07/03/2013 02:57, Martin Buchholz wrote:
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.Pushed to jdk8/tl/jdk. I recommend this be backported to jdk7u.
-Alan