[samth]

Java's type system is sound. There are even machine-verified proofs of this.

[tomp]

Oops, you're right. I thought you could override methods with more specific argument types, but it appears I was wrong.