jl5c does not check the type in an 'instanceof' expression is erased.