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

[Bengt Rutisson]

Looks good.

Bengt

19 jun 2013 kl. 18:05 skrev Erik Helin <erik.helin at oracle.com>:

> 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