結果 : widening type casting in java example