test/jdk/java/time/test/java/time/format/ZoneName.java
author rpatil
Thu, 09 Nov 2017 14:38:54 +0530
changeset 47724 6b374b7fdc3d
parent 47216 71c04702a3d5
child 48716 55272cc70514
permissions -rw-r--r--
8190258: (tz) Support tzdata2017c 8190259: test tck.java.time.zone.TCKZoneRules is broken by tzdata2017c Reviewed-by: naoto, martin
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
     1
/*
41354
d8271dd87747 8166875: (tz) Support tzdata2016g
rpatil
parents: 16852
diff changeset
     2
 * Copyright (c) 2013, 2016, Oracle and/or its affiliates. All rights reserved.
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
     4
 *
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
     7
 * published by the Free Software Foundation.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
     8
 *
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    13
 * accompanied this code).
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    14
 *
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    18
 *
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    21
 * questions.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    22
 */
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    23
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    24
package test.java.time.format;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    25
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    26
import java.util.HashMap;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    27
import java.util.Locale;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    28
import java.util.Map;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    29
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    30
class ZoneName {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    31
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    32
    public static String toZid(String zid, Locale locale) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    33
        String mzone = zidToMzone.get(zid);
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    34
        if (mzone == null && aliases.containsKey(zid)) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    35
            zid = aliases.get(zid);
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    36
            mzone = zidToMzone.get(zid);
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    37
        }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    38
        if (mzone != null) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    39
            Map<String, String> map = mzoneToZidL.get(mzone);
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    40
            if (map != null && map.containsKey(locale.getCountry())) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    41
                zid = map.get(locale.getCountry());
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    42
            } else {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    43
                zid = mzoneToZid.get(mzone);
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    44
            }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    45
        }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    46
        return toZid(zid);
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    47
    }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    48
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    49
    public static String toZid(String zid) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    50
        if (aliases.containsKey(zid)) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    51
            return aliases.get(zid);
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    52
        }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    53
        return zid;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    54
    }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    55
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    56
    private static final String[] zidMap = new String[] {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    57
        "Asia/Bangkok", "Indochina", "Asia/Saigon",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    58
        "Pacific/Pago_Pago", "Samoa", "Pacific/Apia",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    59
        "Africa/Blantyre", "Africa_Central", "Africa/Maputo",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    60
        "America/Argentina/San_Juan", "Argentina", "America/Buenos_Aires",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    61
        "America/Cancun", "America_Central", "America/Chicago",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    62
        "Pacific/Nauru", "Nauru", "Pacific/Nauru",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    63
        "America/Atikokan", "America_Eastern", "America/New_York",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    64
        "Africa/Asmara", "Africa_Eastern", "Africa/Nairobi",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    65
        "Europe/Berlin", "Europe_Central", "Europe/Paris",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    66
        "Asia/Kolkata", "India", "Asia/Calcutta",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    67
        "Australia/Darwin", "Australia_Central", "Australia/Adelaide",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    68
        "America/Guayaquil", "Ecuador", "America/Guayaquil",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    69
        "Europe/Vienna", "Europe_Central", "Europe/Paris",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    70
        "Atlantic/St_Helena", "GMT", "Atlantic/Reykjavik",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    71
        "Europe/London", "GMT", "Atlantic/Reykjavik",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    72
        "Europe/Moscow", "Moscow", "Europe/Moscow",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    73
        "America/St_Vincent", "Atlantic", "America/Halifax",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    74
        "America/Bogota", "Colombia", "America/Bogota",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    75
        "America/Marigot", "Atlantic", "America/Halifax",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    76
        "Europe/Sarajevo", "Europe_Central", "Europe/Paris",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    77
        "America/Hermosillo", "America_Mountain", "America/Denver",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    78
        "America/Winnipeg", "America_Central", "America/Chicago",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    79
        "America/Rainy_River", "America_Central", "America/Chicago",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    80
        "Indian/Mahe", "Seychelles", "Indian/Mahe",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    81
        "Africa/Freetown", "GMT", "Atlantic/Reykjavik",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    82
        "America/Grand_Turk", "America_Eastern", "America/New_York",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    83
        "America/Argentina/Ushuaia", "Argentina", "America/Buenos_Aires",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    84
        "Atlantic/Azores", "Azores", "Atlantic/Azores",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    85
        "Asia/Harbin", "China", "Asia/Shanghai",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    86
        "America/Cuiaba", "Amazon", "America/Manaus",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    87
        "Asia/Bahrain", "Arabian", "Asia/Riyadh",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    88
        "Asia/Katmandu", "Nepal", "Asia/Katmandu",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    89
        "Pacific/Galapagos", "Galapagos", "Pacific/Galapagos",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    90
        "Asia/Brunei", "Brunei", "Asia/Brunei",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    91
        "Africa/Kigali", "Africa_Central", "Africa/Maputo",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    92
        "Asia/Makassar", "Indonesia_Central", "Asia/Makassar",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    93
        "Africa/Maputo", "Africa_Central", "Africa/Maputo",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    94
        "Asia/Kamchatka", "Magadan", "Asia/Magadan",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    95
        "Atlantic/Faroe", "Europe_Western", "Atlantic/Canary",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    96
        "America/El_Salvador", "America_Central", "America/Chicago",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    97
        "Asia/Saigon", "Indochina", "Asia/Saigon",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    98
        "Africa/Kinshasa", "Africa_Western", "Africa/Lagos",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
    99
        "Europe/Oslo", "Europe_Central", "Europe/Paris",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   100
        "Asia/Hong_Kong", "Hong_Kong", "Asia/Hong_Kong",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   101
        "Pacific/Midway", "Samoa", "Pacific/Apia",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   102
        "Africa/Douala", "Africa_Western", "Africa/Lagos",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   103
        "Europe/San_Marino", "Europe_Central", "Europe/Paris",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   104
        "Pacific/Chuuk", "Truk", "Pacific/Truk",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   105
        "Africa/Gaborone", "Africa_Central", "Africa/Maputo",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   106
        "Africa/Tunis", "Europe_Central", "Europe/Paris",
47724
6b374b7fdc3d 8190258: (tz) Support tzdata2017c
rpatil
parents: 47216
diff changeset
   107
        "Africa/Khartoum", "Africa_Central", "Africa/Maputo",
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   108
        "Europe/Isle_of_Man", "GMT", "Atlantic/Reykjavik",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   109
        "Europe/Skopje", "Europe_Central", "Europe/Paris",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   110
        "America/Merida", "America_Central", "America/Chicago",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   111
        "Antarctica/DumontDUrville", "DumontDUrville", "Antarctica/DumontDUrville",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   112
        "Atlantic/Reykjavik", "GMT", "Atlantic/Reykjavik",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   113
        "Indian/Mauritius", "Mauritius", "Indian/Mauritius",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   114
        "Africa/Malabo", "Africa_Western", "Africa/Lagos",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   115
        "Africa/Juba", "Africa_Eastern", "Africa/Nairobi",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   116
        "America/Resolute", "America_Central", "America/Chicago",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   117
        "Africa/Abidjan", "GMT", "Atlantic/Reykjavik",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   118
        "Antarctica/McMurdo", "New_Zealand", "Pacific/Auckland",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   119
        "Asia/Thimphu", "Bhutan", "Asia/Thimphu",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   120
        "Europe/Zaporozhye", "Europe_Eastern", "Europe/Bucharest",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   121
        "Antarctica/Davis", "Davis", "Antarctica/Davis",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   122
        "Indian/Antananarivo", "Africa_Eastern", "Africa/Nairobi",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   123
        "Africa/Harare", "Africa_Central", "Africa/Maputo",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   124
        "Pacific/Marquesas", "Marquesas", "Pacific/Marquesas",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   125
        "Africa/Tripoli", "Europe_Eastern", "Europe/Bucharest",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   126
        "America/North_Dakota/Beulah", "America_Central", "America/Chicago",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   127
        "America/Buenos_Aires", "Argentina", "America/Buenos_Aires",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   128
        "America/Tortola", "Atlantic", "America/Halifax",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   129
        "Asia/Kuwait", "Arabian", "Asia/Riyadh",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   130
        "Europe/Rome", "Europe_Central", "Europe/Paris",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   131
        "America/Eirunepe", "Amazon", "America/Manaus",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   132
        "Australia/Hobart", "Australia_Eastern", "Australia/Sydney",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   133
        "America/Thule", "Atlantic", "America/Halifax",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   134
        "Asia/Beirut", "Europe_Eastern", "Europe/Bucharest",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   135
        "America/Bahia_Banderas", "America_Central", "America/Chicago",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   136
        "Africa/Dar_es_Salaam", "Africa_Eastern", "Africa/Nairobi",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   137
        "America/Argentina/Tucuman", "Argentina", "America/Buenos_Aires",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   138
        "America/Paramaribo", "Suriname", "America/Paramaribo",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   139
        "Africa/Kampala", "Africa_Eastern", "Africa/Nairobi",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   140
        "Pacific/Port_Moresby", "Papua_New_Guinea", "Pacific/Port_Moresby",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   141
        "America/Mendoza", "Argentina", "America/Buenos_Aires",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   142
        "Asia/Dushanbe", "Tajikistan", "Asia/Dushanbe",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   143
        "Asia/Qyzylorda", "Kazakhstan_Eastern", "Asia/Almaty",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   144
        "Antarctica/Vostok", "Vostok", "Antarctica/Vostok",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   145
        "Pacific/Majuro", "Marshall_Islands", "Pacific/Majuro",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   146
        "Asia/Tehran", "Iran", "Asia/Tehran",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   147
        "Asia/Hovd", "Hovd", "Asia/Hovd",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   148
        "Antarctica/Rothera", "Rothera", "Antarctica/Rothera",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   149
        "Africa/Brazzaville", "Africa_Western", "Africa/Lagos",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   150
        "Europe/Tirane", "Europe_Central", "Europe/Paris",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   151
        "Asia/Urumqi", "China", "Asia/Shanghai",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   152
        "Asia/Krasnoyarsk", "Krasnoyarsk", "Asia/Krasnoyarsk",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   153
        "America/Tegucigalpa", "America_Central", "America/Chicago",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   154
        "Asia/Vientiane", "Indochina", "Asia/Saigon",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   155
        "Asia/Pontianak", "Indonesia_Western", "Asia/Jakarta",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   156
        "America/Bahia", "Brasilia", "America/Sao_Paulo",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   157
        "Asia/Choibalsan", "Choibalsan", "Asia/Choibalsan",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   158
        "America/Regina", "America_Central", "America/Chicago",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   159
        "Africa/Cairo", "Europe_Eastern", "Europe/Bucharest",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   160
        "Asia/Irkutsk", "Irkutsk", "Asia/Irkutsk",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   161
        "Europe/Luxembourg", "Europe_Central", "Europe/Paris",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   162
        "America/St_Kitts", "Atlantic", "America/Halifax",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   163
        "America/Manaus", "Amazon", "America/Manaus",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   164
        "America/Noronha", "Noronha", "America/Noronha",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   165
        "Pacific/Gambier", "Gambier", "Pacific/Gambier",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   166
        "America/Edmonton", "America_Mountain", "America/Denver",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   167
        "Pacific/Palau", "Palau", "Pacific/Palau",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   168
        "America/Lower_Princes", "Atlantic", "America/Halifax",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   169
        "Africa/Ouagadougou", "GMT", "Atlantic/Reykjavik",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   170
        "Asia/Yerevan", "Armenia", "Asia/Yerevan",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   171
        "America/Montevideo", "Uruguay", "America/Montevideo",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   172
        "Europe/Minsk", "Europe_Eastern", "Europe/Bucharest",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   173
        "Europe/Amsterdam", "Europe_Central", "Europe/Paris",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   174
        "Pacific/Efate", "Vanuatu", "Pacific/Efate",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   175
        "Asia/Manila", "Philippines", "Asia/Manila",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   176
        "America/Dawson", "America_Pacific", "America/Los_Angeles",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   177
        "America/Argentina/Cordoba", "Argentina", "America/Buenos_Aires",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   178
        "Australia/Melbourne", "Australia_Eastern", "Australia/Sydney",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   179
        "Asia/Rangoon", "Myanmar", "Asia/Rangoon",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   180
        "America/Los_Angeles", "America_Pacific", "America/Los_Angeles",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   181
        "Africa/Casablanca", "Europe_Western", "Atlantic/Canary",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   182
        "Africa/Porto-Novo", "Africa_Western", "Africa/Lagos",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   183
        "Asia/Macau", "China", "Asia/Shanghai",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   184
        "America/Boa_Vista", "Amazon", "America/Manaus",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   185
        "Europe/Guernsey", "GMT", "Atlantic/Reykjavik",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   186
        "Africa/Monrovia", "GMT", "Atlantic/Reykjavik",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   187
        "America/Godthab", "Greenland_Western", "America/Godthab",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   188
        "Africa/Ceuta", "Europe_Central", "Europe/Paris",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   189
        "Asia/Oral", "Kazakhstan_Western", "Asia/Aqtobe",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   190
        "America/Yakutat", "Alaska", "America/Juneau",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   191
        "Indian/Mayotte", "Africa_Eastern", "Africa/Nairobi",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   192
        "America/Denver", "America_Mountain", "America/Denver",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   193
        "America/New_York", "America_Eastern", "America/New_York",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   194
        "Pacific/Rarotonga", "Cook", "Pacific/Rarotonga",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   195
        "America/Louisville", "America_Eastern", "America/New_York",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   196
        "Africa/El_Aaiun", "Europe_Western", "Atlantic/Canary",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   197
        "Africa/Sao_Tome", "GMT", "Atlantic/Reykjavik",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   198
        "Pacific/Fiji", "Fiji", "Pacific/Fiji",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   199
        "Asia/Damascus", "Europe_Eastern", "Europe/Bucharest",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   200
        "Asia/Ulaanbaatar", "Mongolia", "Asia/Ulaanbaatar",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   201
        "America/Cayman", "America_Eastern", "America/New_York",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   202
        "America/Tijuana", "America_Pacific", "America/Los_Angeles",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   203
        "Atlantic/Bermuda", "Atlantic", "America/Halifax",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   204
        "Australia/Sydney", "Australia_Eastern", "Australia/Sydney",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   205
        "Asia/Aden", "Arabian", "Asia/Riyadh",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   206
        "Australia/Eucla", "Australia_CentralWestern", "Australia/Eucla",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   207
        "America/Indiana/Petersburg", "America_Eastern", "America/New_York",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   208
        "America/Panama", "America_Eastern", "America/New_York",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   209
        "Europe/Istanbul", "Europe_Eastern", "Europe/Bucharest",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   210
        "America/Kralendijk", "Atlantic", "America/Halifax",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   211
        "America/Catamarca", "Argentina", "America/Buenos_Aires",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   212
        "America/Nassau", "America_Eastern", "America/New_York",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   213
        "Europe/Paris", "Europe_Central", "Europe/Paris",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   214
        "Asia/Jakarta", "Indonesia_Western", "Asia/Jakarta",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   215
        "Australia/Lindeman", "Australia_Eastern", "Australia/Sydney",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   216
        "America/Sao_Paulo", "Brasilia", "America/Sao_Paulo",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   217
        "America/Juneau", "Alaska", "America/Juneau",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   218
        "America/Grenada", "Atlantic", "America/Halifax",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   219
        "America/Cayenne", "French_Guiana", "America/Cayenne",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   220
        "Antarctica/Casey", "Australia_Western", "Australia/Perth",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   221
        "Africa/Algiers", "Europe_Central", "Europe/Paris",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   222
        "America/Miquelon", "Pierre_Miquelon", "America/Miquelon",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   223
        "Asia/Tokyo", "Japan", "Asia/Tokyo",
47724
6b374b7fdc3d 8190258: (tz) Support tzdata2017c
rpatil
parents: 47216
diff changeset
   224
        "Africa/Windhoek", "Africa_Central", "Africa/Maputo",
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   225
        "Africa/Bujumbura", "Africa_Central", "Africa/Maputo",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   226
        "America/Guatemala", "America_Central", "America/Chicago",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   227
        "Africa/Dakar", "GMT", "Atlantic/Reykjavik",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   228
        "Asia/Bishkek", "Kyrgystan", "Asia/Bishkek",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   229
        "America/Guadeloupe", "Atlantic", "America/Halifax",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   230
        "Africa/Ndjamena", "Africa_Western", "Africa/Lagos",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   231
        "Europe/Simferopol", "Europe_Eastern", "Europe/Bucharest",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   232
        "America/Santa_Isabel", "America_Pacific", "America/Los_Angeles",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   233
        "Asia/Dubai", "Gulf", "Asia/Dubai",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   234
        "America/Maceio", "Brasilia", "America/Sao_Paulo",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   235
        "America/Anchorage", "Alaska", "America/Juneau",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   236
        "Australia/Currie", "Australia_Eastern", "Australia/Sydney",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   237
        "Africa/Djibouti", "Africa_Eastern", "Africa/Nairobi",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   238
        "Europe/Budapest", "Europe_Central", "Europe/Paris",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   239
        "America/Argentina/Salta", "Argentina", "America/Buenos_Aires",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   240
        "Asia/Calcutta", "India", "Asia/Calcutta",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   241
        "America/Indiana/Winamac", "America_Eastern", "America/New_York",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   242
        "Asia/Yekaterinburg", "Yekaterinburg", "Asia/Yekaterinburg",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   243
        "America/Santiago", "Chile", "America/Santiago",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   244
        "Asia/Aqtobe", "Kazakhstan_Western", "Asia/Aqtobe",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   245
        "Asia/Dili", "East_Timor", "Asia/Dili",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   246
        "America/Detroit", "America_Eastern", "America/New_York",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   247
        "Africa/Libreville", "Africa_Western", "Africa/Lagos",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   248
        "Pacific/Ponape", "Ponape", "Pacific/Ponape",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   249
        "Pacific/Wallis", "Wallis", "Pacific/Wallis",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   250
        "Asia/Vladivostok", "Vladivostok", "Asia/Vladivostok",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   251
        "Africa/Lubumbashi", "Africa_Central", "Africa/Maputo",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   252
        "Africa/Asmera", "Africa_Eastern", "Africa/Nairobi",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   253
        "Pacific/Guam", "Chamorro", "Pacific/Saipan",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   254
        "America/Chicago", "America_Central", "America/Chicago",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   255
        "America/Swift_Current", "America_Central", "America/Chicago",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   256
        "America/Coral_Harbour", "America_Eastern", "America/New_York",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   257
        "America/Cambridge_Bay", "America_Mountain", "America/Denver",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   258
        "America/Costa_Rica", "America_Central", "America/Chicago",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   259
        "America/Curacao", "Atlantic", "America/Halifax",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   260
        "America/Recife", "Brasilia", "America/Sao_Paulo",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   261
        "Africa/Bangui", "Africa_Western", "Africa/Lagos",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   262
        "America/Cordoba", "Argentina", "America/Buenos_Aires",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   263
        "Asia/Baghdad", "Arabian", "Asia/Riyadh",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   264
        "America/Shiprock", "America_Mountain", "America/Denver",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   265
        "America/Glace_Bay", "Atlantic", "America/Halifax",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   266
        "America/North_Dakota/Center", "America_Central", "America/Chicago",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   267
        "Europe/Stockholm", "Europe_Central", "Europe/Paris",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   268
        "America/Halifax", "Atlantic", "America/Halifax",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   269
        "Atlantic/Canary", "Europe_Western", "Atlantic/Canary",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   270
        "Europe/Volgograd", "Volgograd", "Europe/Volgograd",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   271
        "America/Moncton", "Atlantic", "America/Halifax",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   272
        "Pacific/Tongatapu", "Tonga", "Pacific/Tongatapu",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   273
        "America/Argentina/Buenos_Aires", "Argentina", "America/Buenos_Aires",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   274
        "Asia/Samarkand", "Uzbekistan", "Asia/Tashkent",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   275
        "Pacific/Apia", "Samoa", "Pacific/Apia",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   276
        "America/Sitka", "Alaska", "America/Juneau",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   277
        "Europe/Warsaw", "Europe_Central", "Europe/Paris",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   278
        "Africa/Accra", "GMT", "Atlantic/Reykjavik",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   279
        "Europe/Bratislava", "Europe_Central", "Europe/Paris",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   280
        "Europe/Zurich", "Europe_Central", "Europe/Paris",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   281
        "Indian/Reunion", "Reunion", "Indian/Reunion",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   282
        "America/Mazatlan", "America_Mountain", "America/Denver",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   283
        "Pacific/Tarawa", "Gilbert_Islands", "Pacific/Tarawa",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   284
        "America/Indiana/Knox", "America_Central", "America/Chicago",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   285
        "Asia/Tbilisi", "Georgia", "Asia/Tbilisi",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   286
        "Asia/Novosibirsk", "Novosibirsk", "Asia/Novosibirsk",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   287
        "Atlantic/Faeroe", "Europe_Western", "Atlantic/Canary",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   288
        "Africa/Bissau", "GMT", "Atlantic/Reykjavik",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   289
        "Asia/Amman", "Europe_Eastern", "Europe/Bucharest",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   290
        "Africa/Lagos", "Africa_Western", "Africa/Lagos",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   291
        "Africa/Banjul", "GMT", "Atlantic/Reykjavik",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   292
        "America/Araguaina", "Brasilia", "America/Sao_Paulo",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   293
        "America/Nipigon", "America_Eastern", "America/New_York",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   294
        "Europe/Vilnius", "Europe_Eastern", "Europe/Bucharest",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   295
        "America/Montserrat", "Atlantic", "America/Halifax",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   296
        "Asia/Baku", "Azerbaijan", "Asia/Baku",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   297
        "Africa/Lusaka", "Africa_Central", "Africa/Maputo",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   298
        "Europe/Uzhgorod", "Europe_Eastern", "Europe/Bucharest",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   299
        "America/Argentina/Rio_Gallegos", "Argentina", "America/Buenos_Aires",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   300
        "America/Blanc-Sablon", "Atlantic", "America/Halifax",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   301
        "Asia/Kabul", "Afghanistan", "Asia/Kabul",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   302
        "America/Jamaica", "America_Eastern", "America/New_York",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   303
        "Europe/Vatican", "Europe_Central", "Europe/Paris",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   304
        "Africa/Nouakchott", "GMT", "Atlantic/Reykjavik",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   305
        "Africa/Addis_Ababa", "Africa_Eastern", "Africa/Nairobi",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   306
        "Europe/Athens", "Europe_Eastern", "Europe/Bucharest",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   307
        "Atlantic/Madeira", "Europe_Western", "Atlantic/Canary",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   308
        "America/Thunder_Bay", "America_Eastern", "America/New_York",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   309
        "Europe/Brussels", "Europe_Central", "Europe/Paris",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   310
        "Africa/Luanda", "Africa_Western", "Africa/Lagos",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   311
        "Africa/Mogadishu", "Africa_Eastern", "Africa/Nairobi",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   312
        "America/Matamoros", "America_Central", "America/Chicago",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   313
        "Pacific/Norfolk", "Norfolk", "Pacific/Norfolk",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   314
        "America/Scoresbysund", "Greenland_Eastern", "America/Scoresbysund",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   315
        "America/Indianapolis", "America_Eastern", "America/New_York",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   316
        "Pacific/Pitcairn", "Pitcairn", "Pacific/Pitcairn",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   317
        "Asia/Singapore", "Singapore", "Asia/Singapore",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   318
        "America/Port-au-Prince", "America_Eastern", "America/New_York",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   319
        "Pacific/Honolulu", "Hawaii_Aleutian", "Pacific/Honolulu",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   320
        "Antarctica/Syowa", "Syowa", "Antarctica/Syowa",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   321
        "Atlantic/Cape_Verde", "Cape_Verde", "Atlantic/Cape_Verde",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   322
        "America/Asuncion", "Paraguay", "America/Asuncion",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   323
        "America/Martinique", "Atlantic", "America/Halifax",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   324
        "Europe/Gibraltar", "Europe_Central", "Europe/Paris",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   325
        "Africa/Lome", "GMT", "Atlantic/Reykjavik",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   326
        "Australia/Lord_Howe", "Lord_Howe", "Australia/Lord_Howe",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   327
        "America/Argentina/La_Rioja", "Argentina", "America/Buenos_Aires",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   328
        "Europe/Jersey", "GMT", "Atlantic/Reykjavik",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   329
        "America/Kentucky/Louisville", "America_Eastern", "America/New_York",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   330
        "America/Monterrey", "America_Central", "America/Chicago",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   331
        "Europe/Belgrade", "Europe_Central", "Europe/Paris",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   332
        "Asia/Gaza", "Europe_Eastern", "Europe/Bucharest",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   333
        "Asia/Ho_Chi_Minh", "Indochina", "Asia/Saigon",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   334
        "Europe/Prague", "Europe_Central", "Europe/Paris",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   335
        "Indian/Christmas", "Christmas", "Indian/Christmas",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   336
        "Pacific/Fakaofo", "Tokelau", "Pacific/Fakaofo",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   337
        "America/Dominica", "Atlantic", "America/Halifax",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   338
        "America/Ojinaga", "America_Mountain", "America/Denver",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   339
        "Asia/Colombo", "India", "Asia/Calcutta",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   340
        "Asia/Nicosia", "Europe_Eastern", "Europe/Bucharest",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   341
        "Europe/Copenhagen", "Europe_Central", "Europe/Paris",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   342
        "America/Creston", "America_Mountain", "America/Denver",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   343
        "Asia/Ashgabat", "Turkmenistan", "Asia/Ashgabat",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   344
        "Asia/Shanghai", "China", "Asia/Shanghai",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   345
        "Pacific/Easter", "Easter", "Pacific/Easter",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   346
        "Africa/Maseru", "Africa_Southern", "Africa/Johannesburg",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   347
        "America/La_Paz", "Bolivia", "America/La_Paz",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   348
        "Pacific/Truk", "Truk", "Pacific/Truk",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   349
        "America/Inuvik", "America_Mountain", "America/Denver",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   350
        "America/Belem", "Brasilia", "America/Sao_Paulo",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   351
        "Asia/Hebron", "Europe_Eastern", "Europe/Bucharest",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   352
        "Asia/Jerusalem", "Israel", "Asia/Jerusalem",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   353
        "America/Belize", "America_Central", "America/Chicago",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   354
        "America/Rio_Branco", "Amazon", "America/Manaus",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   355
        "America/Dawson_Creek", "America_Mountain", "America/Denver",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   356
        "America/Anguilla", "Atlantic", "America/Halifax",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   357
        "America/Port_of_Spain", "Atlantic", "America/Halifax",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   358
        "America/St_Barthelemy", "Atlantic", "America/Halifax",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   359
        "America/Indiana/Marengo", "America_Eastern", "America/New_York",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   360
        "America/St_Johns", "Newfoundland", "America/St_Johns",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   361
        "Asia/Jayapura", "Indonesia_Eastern", "Asia/Jayapura",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   362
        "Europe/Riga", "Europe_Eastern", "Europe/Bucharest",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   363
        "America/Phoenix", "America_Mountain", "America/Denver",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   364
        "America/Boise", "America_Mountain", "America/Denver",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   365
        "Pacific/Kiritimati", "Line_Islands", "Pacific/Kiritimati",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   366
        "Africa/Johannesburg", "Africa_Southern", "Africa/Johannesburg",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   367
        "America/Pangnirtung", "America_Eastern", "America/New_York",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   368
        "America/Toronto", "America_Eastern", "America/New_York",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   369
        "Australia/Brisbane", "Australia_Eastern", "Australia/Sydney",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   370
        "Asia/Aqtau", "Kazakhstan_Western", "Asia/Aqtobe",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   371
        "America/Vancouver", "America_Pacific", "America/Los_Angeles",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   372
        "Africa/Mbabane", "Africa_Southern", "Africa/Johannesburg",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   373
        "Europe/Vaduz", "Europe_Central", "Europe/Paris",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   374
        "Asia/Karachi", "Pakistan", "Asia/Karachi",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   375
        "Asia/Riyadh", "Arabian", "Asia/Riyadh",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   376
        "Indian/Maldives", "Maldives", "Indian/Maldives",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   377
        "Asia/Anadyr", "Magadan", "Asia/Magadan",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   378
        "Europe/Helsinki", "Europe_Eastern", "Europe/Bucharest",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   379
        "America/Nome", "Alaska", "America/Juneau",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   380
        "Asia/Yakutsk", "Yakutsk", "Asia/Yakutsk",
41354
d8271dd87747 8166875: (tz) Support tzdata2016g
rpatil
parents: 16852
diff changeset
   381
        "Asia/Yangon", "Myanmar", "Asia/Rangoon",
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   382
        "Africa/Conakry", "GMT", "Atlantic/Reykjavik",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   383
        "Asia/Seoul", "Korea", "Asia/Seoul",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   384
        "America/Antigua", "Atlantic", "America/Halifax",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   385
        "Asia/Almaty", "Kazakhstan_Eastern", "Asia/Almaty",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   386
        "America/Fortaleza", "Brasilia", "America/Sao_Paulo",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   387
        "Pacific/Tahiti", "Tahiti", "Pacific/Tahiti",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   388
        "Asia/Kashgar", "China", "Asia/Shanghai",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   389
        "America/Whitehorse", "America_Pacific", "America/Los_Angeles",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   390
        "Europe/Kaliningrad", "Europe_Eastern", "Europe/Bucharest",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   391
        "Pacific/Enderbury", "Phoenix_Islands", "Pacific/Enderbury",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   392
        "America/St_Lucia", "Atlantic", "America/Halifax",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   393
        "Atlantic/Stanley", "Falkland", "Atlantic/Stanley",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   394
        "Asia/Omsk", "Omsk", "Asia/Omsk",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   395
        "America/Menominee", "America_Central", "America/Chicago",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   396
        "Asia/Novokuznetsk", "Novosibirsk", "Asia/Novosibirsk",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   397
        "Asia/Sakhalin", "Sakhalin", "Asia/Sakhalin",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   398
        "Asia/Muscat", "Gulf", "Asia/Dubai",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   399
        "Pacific/Noumea", "New_Caledonia", "Pacific/Noumea",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   400
        "Asia/Phnom_Penh", "Indochina", "Asia/Saigon",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   401
        "Antarctica/Mawson", "Mawson", "Antarctica/Mawson",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   402
        "Indian/Cocos", "Cocos", "Indian/Cocos",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   403
        "Europe/Tallinn", "Europe_Eastern", "Europe/Bucharest",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   404
        "Africa/Nairobi", "Africa_Eastern", "Africa/Nairobi",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   405
        "Europe/Ljubljana", "Europe_Central", "Europe/Paris",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   406
        "America/Montreal", "America_Eastern", "America/New_York",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   407
        "Asia/Kuala_Lumpur", "Malaysia", "Asia/Kuching",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   408
        "Asia/Magadan", "Magadan", "Asia/Magadan",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   409
        "Africa/Bamako", "GMT", "Atlantic/Reykjavik",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   410
        "Australia/Broken_Hill", "Australia_Central", "Australia/Adelaide",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   411
        "America/Indiana/Indianapolis", "America_Eastern", "America/New_York",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   412
        "Asia/Taipei", "Taipei", "Asia/Taipei",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   413
        "Europe/Samara", "Moscow", "Europe/Moscow",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   414
        "America/Indiana/Vevay", "America_Eastern", "America/New_York",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   415
        "Atlantic/South_Georgia", "South_Georgia", "Atlantic/South_Georgia",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   416
        "Pacific/Wake", "Wake", "Pacific/Wake",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   417
        "Asia/Tashkent", "Uzbekistan", "Asia/Tashkent",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   418
        "America/St_Thomas", "Atlantic", "America/Halifax",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   419
        "America/Argentina/San_Luis", "Argentina_Western", "America/Argentina/San_Luis",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   420
        "Arctic/Longyearbyen", "Europe_Central", "Europe/Paris",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   421
        "Asia/Chongqing", "China", "Asia/Shanghai",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   422
        "Europe/Monaco", "Europe_Central", "Europe/Paris",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   423
        "Asia/Qatar", "Arabian", "Asia/Riyadh",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   424
        "America/Chihuahua", "America_Mountain", "America/Denver",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   425
        "America/Havana", "Cuba", "America/Havana",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   426
        "Pacific/Auckland", "New_Zealand", "Pacific/Auckland",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   427
        "America/Jujuy", "Argentina", "America/Buenos_Aires",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   428
        "America/Goose_Bay", "Atlantic", "America/Halifax",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   429
        "Africa/Niamey", "Africa_Western", "Africa/Lagos",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   430
        "Asia/Kathmandu", "Nepal", "Asia/Katmandu",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   431
        "America/Caracas", "Venezuela", "America/Caracas",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   432
        "Indian/Comoro", "Africa_Eastern", "Africa/Nairobi",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   433
        "America/Argentina/Jujuy", "Argentina", "America/Buenos_Aires",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   434
        "America/Guyana", "Guyana", "America/Guyana",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   435
        "America/Indiana/Tell_City", "America_Central", "America/Chicago",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   436
        "America/Metlakatla", "America_Pacific", "America/Los_Angeles",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   437
        "Europe/Mariehamn", "Europe_Eastern", "Europe/Bucharest",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   438
        "Europe/Dublin", "GMT", "Atlantic/Reykjavik",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   439
        "Europe/Lisbon", "Europe_Western", "Atlantic/Canary",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   440
        "America/Puerto_Rico", "Atlantic", "America/Halifax",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   441
        "Asia/Pyongyang", "Korea", "Asia/Seoul",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   442
        "America/North_Dakota/New_Salem", "America_Central", "America/Chicago",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   443
        "Asia/Dhaka", "Bangladesh", "Asia/Dhaka",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   444
        "America/Rankin_Inlet", "America_Central", "America/Chicago",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   445
        "America/Adak", "Hawaii_Aleutian", "Pacific/Honolulu",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   446
        "America/Campo_Grande", "Amazon", "America/Manaus",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   447
        "Europe/Chisinau", "Europe_Eastern", "Europe/Bucharest",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   448
        "Pacific/Saipan", "Chamorro", "Pacific/Saipan",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   449
        "Pacific/Niue", "Niue", "Pacific/Niue",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   450
        "Europe/Madrid", "Europe_Central", "Europe/Paris",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   451
        "Pacific/Kwajalein", "Marshall_Islands", "Pacific/Majuro",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   452
        "America/Porto_Velho", "Amazon", "America/Manaus",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   453
        "Indian/Kerguelen", "French_Southern", "Indian/Kerguelen",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   454
        "America/Santarem", "Brasilia", "America/Sao_Paulo",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   455
        "Asia/Kuching", "Malaysia", "Asia/Kuching",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   456
        "Australia/Adelaide", "Australia_Central", "Australia/Adelaide",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   457
        "Europe/Bucharest", "Europe_Eastern", "Europe/Bucharest",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   458
        "Australia/Perth", "Australia_Western", "Australia/Perth",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   459
        "Europe/Sofia", "Europe_Eastern", "Europe/Bucharest",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   460
        "Indian/Chagos", "Indian_Ocean", "Indian/Chagos",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   461
        "America/Yellowknife", "America_Mountain", "America/Denver",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   462
        "America/Managua", "America_Central", "America/Chicago",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   463
        "America/Iqaluit", "America_Eastern", "America/New_York",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   464
        "Pacific/Kosrae", "Kosrae", "Pacific/Kosrae",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   465
        "Pacific/Guadalcanal", "Solomon", "Pacific/Guadalcanal",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   466
        "America/Barbados", "Atlantic", "America/Halifax",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   467
        "America/Aruba", "Atlantic", "America/Halifax",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   468
        "Europe/Andorra", "Europe_Central", "Europe/Paris",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   469
        "Pacific/Chatham", "Chatham", "Pacific/Chatham",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   470
        "America/Santo_Domingo", "Atlantic", "America/Halifax",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   471
        "America/Indiana/Vincennes", "America_Eastern", "America/New_York",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   472
        "Europe/Kiev", "Europe_Eastern", "Europe/Bucharest",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   473
        "Pacific/Funafuti", "Tuvalu", "Pacific/Funafuti",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   474
        "America/Mexico_City", "America_Central", "America/Chicago",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   475
        "America/Kentucky/Monticello", "America_Eastern", "America/New_York",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   476
        "America/Argentina/Catamarca", "Argentina", "America/Buenos_Aires",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   477
        "Pacific/Johnston", "Hawaii_Aleutian", "Pacific/Honolulu",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   478
        "Europe/Podgorica", "Europe_Central", "Europe/Paris",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   479
        "Europe/Zagreb", "Europe_Central", "Europe/Paris",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   480
        "Pacific/Pohnpei", "Ponape", "Pacific/Ponape",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   481
        "Antarctica/Palmer", "Chile", "America/Santiago",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   482
        "America/Argentina/Mendoza", "Argentina", "America/Buenos_Aires",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   483
        "America/Lima", "Peru", "America/Lima",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   484
        "Antarctica/Macquarie", "Macquarie", "Antarctica/Macquarie",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   485
        "Europe/Malta", "Europe_Central", "Europe/Paris",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   486
        "America/Danmarkshavn", "GMT", "Atlantic/Reykjavik",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   487
    };
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   488
    private static final String[] mzoneMap = new String[] {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   489
        "America_Eastern", "TC", "America/Grand_Turk",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   490
        "America_Eastern", "BS", "America/Nassau",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   491
        "America_Eastern", "CA", "America/Toronto",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   492
        "America_Eastern", "KY", "America/Cayman",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   493
        "America_Eastern", "PA", "America/Panama",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   494
        "America_Eastern", "JM", "America/Jamaica",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   495
        "America_Pacific", "CA", "America/Vancouver",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   496
        "America_Pacific", "MX", "America/Tijuana",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   497
        "Europe_Western", "FO", "Atlantic/Faeroe",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   498
        "Arabian", "YE", "Asia/Aden",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   499
        "Arabian", "BH", "Asia/Bahrain",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   500
        "Arabian", "KW", "Asia/Kuwait",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   501
        "Arabian", "QA", "Asia/Qatar",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   502
        "Arabian", "IQ", "Asia/Baghdad",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   503
        "Korea", "KP", "Asia/Pyongyang",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   504
        "Africa_Central", "ZW", "Africa/Harare",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   505
        "Africa_Central", "ZM", "Africa/Lusaka",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   506
        "Africa_Central", "MW", "Africa/Blantyre",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   507
        "Africa_Central", "BW", "Africa/Gaborone",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   508
        "Africa_Central", "CD", "Africa/Lubumbashi",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   509
        "Africa_Central", "BI", "Africa/Bujumbura",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   510
        "Africa_Central", "RW", "Africa/Kigali",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   511
        "Africa_Western", "CF", "Africa/Bangui",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   512
        "Africa_Western", "AO", "Africa/Luanda",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   513
        "Africa_Western", "NE", "Africa/Niamey",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   514
        "Africa_Western", "CD", "Africa/Kinshasa",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   515
        "Africa_Western", "CM", "Africa/Douala",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   516
        "Africa_Western", "CG", "Africa/Brazzaville",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   517
        "Africa_Western", "GQ", "Africa/Malabo",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   518
        "Africa_Western", "TD", "Africa/Ndjamena",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   519
        "Africa_Western", "GA", "Africa/Libreville",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   520
        "Atlantic", "PR", "America/Puerto_Rico",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   521
        "Atlantic", "AN", "America/Curacao",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   522
        "Atlantic", "VI", "America/St_Thomas",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   523
        "Atlantic", "GP", "America/Guadeloupe",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   524
        "Atlantic", "TT", "America/Port_of_Spain",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   525
        "Atlantic", "AG", "America/Antigua",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   526
        "Atlantic", "MF", "America/Marigot",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   527
        "Atlantic", "DM", "America/Dominica",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   528
        "Atlantic", "VG", "America/Tortola",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   529
        "Atlantic", "MQ", "America/Martinique",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   530
        "Atlantic", "GL", "America/Thule",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   531
        "Atlantic", "AI", "America/Anguilla",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   532
        "Atlantic", "BB", "America/Barbados",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   533
        "Atlantic", "BM", "Atlantic/Bermuda",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   534
        "Atlantic", "BQ", "America/Kralendijk",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   535
        "Atlantic", "LC", "America/St_Lucia",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   536
        "Atlantic", "MS", "America/Montserrat",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   537
        "Atlantic", "SX", "America/Lower_Princes",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   538
        "Atlantic", "GD", "America/Grenada",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   539
        "Atlantic", "VC", "America/St_Vincent",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   540
        "Atlantic", "KN", "America/St_Kitts",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   541
        "Atlantic", "AW", "America/Aruba",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   542
        "GMT", "GM", "Africa/Banjul",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   543
        "GMT", "LR", "Africa/Monrovia",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   544
        "GMT", "ML", "Africa/Bamako",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   545
        "GMT", "SH", "Atlantic/St_Helena",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   546
        "GMT", "TG", "Africa/Lome",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   547
        "GMT", "GB", "Europe/London",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   548
        "GMT", "MR", "Africa/Nouakchott",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   549
        "GMT", "GN", "Africa/Conakry",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   550
        "GMT", "SL", "Africa/Freetown",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   551
        "GMT", "BF", "Africa/Ouagadougou",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   552
        "GMT", "ST", "Africa/Sao_Tome",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   553
        "GMT", "SN", "Africa/Dakar",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   554
        "GMT", "CI", "Africa/Abidjan",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   555
        "GMT", "IE", "Europe/Dublin",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   556
        "GMT", "GH", "Africa/Accra",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   557
        "Chile", "AQ", "Antarctica/Palmer",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   558
        "America_Central", "CR", "America/Costa_Rica",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   559
        "America_Central", "HN", "America/Tegucigalpa",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   560
        "America_Central", "CA", "America/Winnipeg",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   561
        "America_Central", "SV", "America/El_Salvador",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   562
        "America_Central", "MX", "America/Mexico_City",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   563
        "America_Central", "BZ", "America/Belize",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   564
        "America_Central", "GT", "America/Guatemala",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   565
        "America_Mountain", "CA", "America/Edmonton",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   566
        "America_Mountain", "MX", "America/Hermosillo",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   567
        "New_Zealand", "AQ", "Antarctica/McMurdo",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   568
        "India", "LK", "Asia/Colombo",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   569
        "Gulf", "OM", "Asia/Muscat",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   570
        "China", "MO", "Asia/Macau",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   571
        "Africa_Eastern", "ER", "Africa/Asmera",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   572
        "Africa_Eastern", "TZ", "Africa/Dar_es_Salaam",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   573
        "Africa_Eastern", "SO", "Africa/Mogadishu",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   574
        "Africa_Eastern", "DJ", "Africa/Djibouti",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   575
        "Africa_Eastern", "MG", "Indian/Antananarivo",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   576
        "Africa_Eastern", "KM", "Indian/Comoro",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   577
        "Africa_Eastern", "UG", "Africa/Kampala",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   578
        "Africa_Eastern", "YT", "Indian/Mayotte",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   579
        "Africa_Eastern", "ET", "Africa/Addis_Ababa",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   580
        "Chamorro", "GU", "Pacific/Guam",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   581
        "Africa_Southern", "LS", "Africa/Maseru",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   582
        "Africa_Southern", "SZ", "Africa/Mbabane",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   583
        "Indochina", "KH", "Asia/Phnom_Penh",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   584
        "Indochina", "TH", "Asia/Bangkok",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   585
        "Indochina", "LA", "Asia/Vientiane",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   586
        "Europe_Central", "AT", "Europe/Vienna",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   587
        "Europe_Central", "SK", "Europe/Bratislava",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   588
        "Europe_Central", "BA", "Europe/Sarajevo",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   589
        "Europe_Central", "CZ", "Europe/Prague",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   590
        "Europe_Central", "BE", "Europe/Brussels",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   591
        "Europe_Central", "RS", "Europe/Belgrade",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   592
        "Europe_Central", "SE", "Europe/Stockholm",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   593
        "Europe_Central", "MT", "Europe/Malta",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   594
        "Europe_Central", "IT", "Europe/Rome",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   595
        "Europe_Central", "LU", "Europe/Luxembourg",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   596
        "Europe_Central", "HU", "Europe/Budapest",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   597
        "Europe_Central", "NO", "Europe/Oslo",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   598
        "Europe_Central", "ME", "Europe/Podgorica",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   599
        "Europe_Central", "MK", "Europe/Skopje",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   600
        "Europe_Central", "NL", "Europe/Amsterdam",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   601
        "Europe_Central", "LI", "Europe/Vaduz",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   602
        "Europe_Central", "PL", "Europe/Warsaw",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   603
        "Europe_Central", "ES", "Europe/Madrid",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   604
        "Europe_Central", "TN", "Africa/Tunis",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   605
        "Europe_Central", "SI", "Europe/Ljubljana",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   606
        "Europe_Central", "DE", "Europe/Berlin",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   607
        "Europe_Central", "GI", "Europe/Gibraltar",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   608
        "Europe_Central", "CH", "Europe/Zurich",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   609
        "Europe_Central", "MC", "Europe/Monaco",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   610
        "Europe_Central", "VA", "Europe/Vatican",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   611
        "Europe_Central", "HR", "Europe/Zagreb",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   612
        "Europe_Central", "AL", "Europe/Tirane",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   613
        "Europe_Central", "AD", "Europe/Andorra",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   614
        "Europe_Central", "DK", "Europe/Copenhagen",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   615
        "Europe_Central", "SM", "Europe/San_Marino",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   616
        "Europe_Eastern", "SY", "Asia/Damascus",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   617
        "Europe_Eastern", "FI", "Europe/Helsinki",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   618
        "Europe_Eastern", "AX", "Europe/Mariehamn",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   619
        "Europe_Eastern", "BG", "Europe/Sofia",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   620
        "Europe_Eastern", "EG", "Africa/Cairo",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   621
        "Europe_Eastern", "LB", "Asia/Beirut",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   622
        "Europe_Eastern", "GR", "Europe/Athens",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   623
        "Europe_Eastern", "JO", "Asia/Amman",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   624
        "Europe_Eastern", "CY", "Asia/Nicosia",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   625
    };
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   626
    private static final String[] aliasMap = new String[] {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   627
        "Mexico/BajaNorte", "America/Tijuana",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   628
        "Antarctica/South_Pole", "Antarctica/McMurdo",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   629
        "US/Michigan", "America/Detroit",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   630
        "America/Porto_Acre", "America/Rio_Branco",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   631
        "US/Alaska", "America/Anchorage",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   632
        "Asia/Ujung_Pandang", "Asia/Makassar",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   633
        "Canada/Atlantic", "America/Halifax",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   634
        "W-SU", "Europe/Moscow",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   635
        "Kwajalein", "Pacific/Kwajalein",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   636
        "Europe/Bratislava", "Europe/Prague",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   637
        "Canada/Central", "America/Winnipeg",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   638
        "Canada/Mountain", "America/Edmonton",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   639
        "Iceland", "Atlantic/Reykjavik",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   640
        "Asia/Ulan_Bator", "Asia/Ulaanbaatar",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   641
        "UTC", "Etc/UTC",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   642
        "Europe/Guernsey", "Europe/London",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   643
        "Singapore", "Asia/Singapore",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   644
        "Atlantic/Faeroe", "Atlantic/Faroe",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   645
        "Greenwich", "Etc/GMT",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   646
        "America/Fort_Wayne", "America/Indiana/Indianapolis",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   647
        "Etc/Universal", "Etc/UTC",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   648
        "Chile/EasterIsland", "Pacific/Easter",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   649
        "Pacific/Samoa", "Pacific/Pago_Pago",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   650
        "Europe/Nicosia", "Asia/Nicosia",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   651
        "Etc/Zulu", "Etc/UTC",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   652
        "Asia/Ashkhabad", "Asia/Ashgabat",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   653
        "America/Louisville", "America/Kentucky/Louisville",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   654
        "Australia/North", "Australia/Darwin",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   655
        "America/Atka", "America/Adak",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   656
        "America/Marigot", "America/Guadeloupe",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   657
        "Brazil/DeNoronha", "America/Noronha",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   658
        "Turkey", "Europe/Istanbul",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   659
        "Zulu", "Etc/UTC",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   660
        "Europe/Vatican", "Europe/Rome",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   661
        "Israel", "Asia/Jerusalem",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   662
        "America/Rosario", "America/Argentina/Cordoba",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   663
        "Jamaica", "America/Jamaica",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   664
        "Asia/Katmandu", "Asia/Kathmandu",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   665
        "ROK", "Asia/Seoul",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   666
        "Asia/Macao", "Asia/Macau",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   667
        "Australia/South", "Australia/Adelaide",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   668
        "US/Arizona", "America/Phoenix",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   669
        "Australia/Yancowinna", "Australia/Broken_Hill",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   670
        "Canada/Pacific", "America/Vancouver",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   671
        "Libya", "Africa/Tripoli",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   672
        "Japan", "Asia/Tokyo",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   673
        "Arctic/Longyearbyen", "Europe/Oslo",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   674
        "Africa/Timbuktu", "Africa/Bamako",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   675
        "America/Indianapolis", "America/Indiana/Indianapolis",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   676
        "Etc/Greenwich", "Etc/GMT",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   677
        "Australia/ACT", "Australia/Sydney",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   678
        "GMT", "Etc/GMT",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   679
        "Mexico/BajaSur", "America/Mazatlan",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   680
        "Cuba", "America/Havana",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   681
        "Brazil/West", "America/Manaus",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   682
        "Asia/Saigon", "Asia/Ho_Chi_Minh",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   683
        "America/Jujuy", "America/Argentina/Jujuy",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   684
        "Australia/Victoria", "Australia/Melbourne",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   685
        "America/Catamarca", "America/Argentina/Catamarca",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   686
        "America/Ensenada", "America/Tijuana",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   687
        "Europe/San_Marino", "Europe/Rome",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   688
        "Europe/Isle_of_Man", "Europe/London",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   689
        "Mexico/General", "America/Mexico_City",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   690
        "US/Hawaii", "Pacific/Honolulu",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   691
        "Europe/Mariehamn", "Europe/Helsinki",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   692
        "US/Indiana-Starke", "America/Indiana/Knox",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   693
        "Australia/NSW", "Australia/Sydney",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   694
        "Australia/West", "Australia/Perth",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   695
        "Brazil/Acre", "America/Rio_Branco",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   696
        "Australia/Tasmania", "Australia/Hobart",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   697
        "Atlantic/Jan_Mayen", "Europe/Oslo",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   698
        "America/Buenos_Aires", "America/Argentina/Buenos_Aires",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   699
        "Europe/Jersey", "Europe/London",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   700
        "Brazil/East", "America/Sao_Paulo",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   701
        "America/Virgin", "America/St_Thomas",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   702
        "Navajo", "America/Denver",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   703
        "GB", "Europe/London",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   704
        "Poland", "Europe/Warsaw",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   705
        "Pacific/Yap", "Pacific/Chuuk",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   706
        "America/Argentina/ComodRivadavia", "America/Argentina/Catamarca",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   707
        "Asia/Calcutta", "Asia/Kolkata",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   708
        "America/Mendoza", "America/Argentina/Mendoza",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   709
        "Universal", "Etc/UTC",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   710
        "Australia/Queensland", "Australia/Brisbane",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   711
        "Asia/Dacca", "Asia/Dhaka",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   712
        "US/Pacific", "America/Los_Angeles",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   713
        "Asia/Chungking", "Asia/Chongqing",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   714
        "Pacific/Truk", "Pacific/Chuuk",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   715
        "ROC", "Asia/Taipei",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   716
        "US/Aleutian", "America/Adak",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   717
        "Pacific/Ponape", "Pacific/Pohnpei",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   718
        "Canada/Yukon", "America/Whitehorse",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   719
        "PRC", "Asia/Shanghai",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   720
        "Africa/Asmera", "Africa/Asmara",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   721
        "GB-Eire", "Europe/London",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   722
        "America/St_Barthelemy", "America/Guadeloupe",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   723
        "US/Central", "America/Chicago",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   724
        "Egypt", "Africa/Cairo",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   725
        "Chile/Continental", "America/Santiago",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   726
        "Portugal", "Europe/Lisbon",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   727
        "Europe/Tiraspol", "Europe/Chisinau",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   728
        "America/Coral_Harbour", "America/Atikokan",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   729
        "Europe/Belfast", "Europe/London",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   730
        "America/Cordoba", "America/Argentina/Cordoba",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   731
        "America/Shiprock", "America/Denver",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   732
        "NZ-CHAT", "Pacific/Chatham",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   733
        "Eire", "Europe/Dublin",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   734
        "US/East-Indiana", "America/Indiana/Indianapolis",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   735
        "Australia/Canberra", "Australia/Sydney",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   736
        "Canada/Newfoundland", "America/St_Johns",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   737
        "UCT", "Etc/UCT",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   738
        "Australia/LHI", "Australia/Lord_Howe",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   739
        "Iran", "Asia/Tehran",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   740
        "US/Eastern", "America/New_York",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   741
        "Canada/Eastern", "America/Toronto",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   742
        "US/Samoa", "Pacific/Pago_Pago",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   743
        "America/Knox_IN", "America/Indiana/Knox",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   744
        "Canada/Saskatchewan", "America/Regina",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   745
        "Asia/Thimbu", "Asia/Thimphu",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   746
        "US/Mountain", "America/Denver",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   747
        "NZ", "Pacific/Auckland",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   748
        "Asia/Tel_Aviv", "Asia/Jerusalem",
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   749
        "Hongkong", "Asia/Hong_Kong",
41354
d8271dd87747 8166875: (tz) Support tzdata2016g
rpatil
parents: 16852
diff changeset
   750
        "Asia/Rangoon", "Asia/Yangon",
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   751
    };
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   752
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   753
    private static final Map<String, String> zidToMzone = new HashMap<>();
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   754
    private static final Map<String, String> mzoneToZid = new HashMap<>();
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   755
    private static final Map<String, Map<String, String>> mzoneToZidL = new HashMap<>();
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   756
    private static final Map<String, String> aliases = new HashMap<>();
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   757
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   758
    static {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   759
        for (int i = 0; i < zidMap.length; i += 3) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   760
            zidToMzone.put(zidMap[i], zidMap[i + 1]);
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   761
            mzoneToZid.put(zidMap[i + 1], zidMap[i + 2]);
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   762
        }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   763
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   764
        for (int i = 0; i < mzoneMap.length; i += 3) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   765
            String mzone = mzoneMap[i];
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   766
            Map<String, String> map = mzoneToZidL.get(mzone);
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   767
            if (map == null) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   768
                map = new HashMap<>();
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   769
                mzoneToZidL.put(mzone, map);
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   770
            }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   771
            map.put(mzoneMap[i + 1], mzoneMap[i + 2]);
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   772
        }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   773
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   774
        for (int i = 0; i < aliasMap.length; i += 2) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   775
            aliases.put(aliasMap[i], aliasMap[i + 1]);
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   776
        }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   777
    }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents:
diff changeset
   778
}