Merge "Add a ZoneInfoDB.hasTimeZone API."