Em relação à programação orientada a objetos com Java, afirm...

Em relação à programação orientada a objetos com Java, afirma-se:

I. O polimorfismo permite que métodos de uma superclasse sejam redefinidos em suas subclasses.
II. Uma classe somente pode ter mais de um método construtor se eles possuírem nomes diferentes.
III. Um objeto de uma subclasse sempre é um objeto da superclasse correspondente; o inverso nunca é verdadeiro.
IV. Quando um método é sobrescrito só é possível alterar-se o seu tipo de retorno.
V. É possível descobrir os métodos e atributos de uma classe através da API Reflection.

Dentre as afirmativas acima, estão corretas apenas: