[7u] Approval request for 8008235: Fix for 8002114 is missing in jdk7u-dev

[Seán Coffey]

Thanks for catching this one Leonid. This was the result of a bad merge 
from my end at 7u10 GA time.

Approved.

regards,
Sean.

On 14/02/2013 17:58, Leonid Romanov wrote:
> Hi,
> This is a request to push the fix for 8008235: "Fix for 8002114 is missing in jdk7u-dev" into 7u-dev. The fix is identical with the fix for 8002114, so no additional review is necessary.
>
> Bug: Bug: http://bugs.sun.com/view_bug.do?bug_id=8008235
> webrev: http://cr.openjdk.java.net/~leonidr/8008235/webrev.00/
>
> Thanks,
> Leonid.
>