結果 : does java have type safety