You seem to be including the halting problem in your definition of type soundness, those aren't the same things.
Java has always had covariant arrays, which are not sound. Whether it was intentional or not is irrelevant to the question of 'does this language have a sound type system?'.