Of course 'a' can reference a J_SubClass which is a subtype of J_SuperClass which is declared type of 'a'.