RFR (XS): 8016734: Remove extra code due to duplicated push

[Tao Mao]

Looks good.

Just wonder if we can (instead) undo the push in this case.

Thanks.
Tao

On 6/19/13 9:05 AM, Erik Helin wrote:
> Hi all,
>
> this very small change removes three lines of duplicated code that got
> in because I (by mistake) pushed a change twice.
>
> Webrev:
> http://cr.openjdk.java.net/~ehelin/8016734/webrev.00/
>
> Testing:
> JPRT
>
> Thanks,
> Erik