time zones - What happens when a country changes its DST schedule?

What happens when a country changes its DST schedule? For example, Israel has just lengthened its Daylight Savings Time by a month. It seems like no firmware update was issued by Google for this. How does Android update its timezones and times?