switch cast statement in java