> Could you point to summary of why we need return types? Is it for > generics, or for co-variant return types, or both? It is for both in that the generics compilers use co-variant return types "under the covers" in order to do their thing. Sun calls them synthetic methods, I think. The bug listing has an example. TJ