Dalibor:
Looks good to me, too. Local OpenJDK build on OS X and an OpenJDK linux build on JPRT both passed.
Thanks very much for the review and the extra testing. As an added data point to help justify this fix, we just got email from our third internal user who ran into this bug last night.
Please send in a fresh phase 2 approval request to the jdk7u-dev list.
Will do. Tim