Oh, why did Eclipse remove the cast here?