[TYPES] Java generics unsoundness?

[Eijiro Sumii]

Dear all,

Thank you for all the replies!  Let me try to address one source of
confusion: as far as I understand according to

  http://java.sun.com/docs/books/jls/third_edition/html/typesValues.html#4.6

the erasure of "int compareTo(B)" is itself, not "int
compareTo(Object)", because B is a class, not a type variable - is
this correct?  (Sorry if my terminology is not accurate - I have never
read the Java Language Specification before this.)

Thanks again,

        Eijiro