Tom Tromey <tromey@redhat.com> writes: > For instance, 1.5 has covariant methods, Really? Sweet! This was one of the dumbest omissions in Java 1.0/1.1. It just screams "the people who designed this language don't understand subtyping". Is it covariant at the bytecode level, or just at the language level? If it's the former, doesn't this break compatability? - a