結果 : widening type casting in java program