This code will not give any compilation error in 1.5 . Right ? Because Second is a subclass of First . And in 1.5 you can override method just by change the return type ( ofcourse it should be compatable with original ) .
Is everything is right ? Is this is sufficient for covariant return in beta exam ?