OpenCores
URL https://opencores.org/ocsvn/scarts/scarts/trunk

Subversion Repositories scarts

[/] [scarts/] [trunk/] [toolchain/] [scarts-gcc/] [gcc-4.1.1/] [libjava/] [classpath/] [java/] [util/] [TimeZone.java] - Blame information for rev 14

Details | Compare with Previous | View Log

Line No. Rev Author Line
1 14 jlechner 
/* java.util.TimeZone
2 
   Copyright (C) 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005
3 
   Free Software Foundation, Inc.
4 
 
5 
This file is part of GNU Classpath.
6 
 
7 
GNU Classpath is free software; you can redistribute it and/or modify
8 
it under the terms of the GNU General Public License as published by
9 
the Free Software Foundation; either version 2, or (at your option)
10 
any later version.
11 
 
12 
GNU Classpath is distributed in the hope that it will be useful, but
13 
WITHOUT ANY WARRANTY; without even the implied warranty of
14 
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
15 
General Public License for more details.
16 
 
17 
You should have received a copy of the GNU General Public License
18 
along with GNU Classpath; see the file COPYING.  If not, write to the
19 
Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
20 
02110-1301 USA.
21 
 
22 
Linking this library statically or dynamically with other modules is
23 
making a combined work based on this library.  Thus, the terms and
24 
conditions of the GNU General Public License cover the whole
25 
combination.
26 
 
27 
As a special exception, the copyright holders of this library give you
28 
permission to link this library with independent modules to produce an
29 
executable, regardless of the license terms of these independent
30 
modules, and to copy and distribute the resulting executable under
31 
terms of your choice, provided that you also meet, for each linked
32 
independent module, the terms and conditions of the license of that
33 
module.  An independent module is a module which is not derived from
34 
or based on this library.  If you modify this library, you may extend
35 
this exception to your version of the library, but you are not
36 
obligated to do so.  If you do not wish to do so, delete this
37 
exception statement from your version. */
38 
 
39 
 
40 
package java.util;
41 
 
42 
import java.security.AccessController;
43 
import java.security.PrivilegedAction;
44 
import java.text.DateFormatSymbols;
45 
 
46 
/**
47 
 * This class represents a time zone offset and handles daylight savings.
48 
 *
49 
 * You can get the default time zone with <code>getDefault</code>.
50 
 * This represents the time zone where program is running.
51 
 *
52 
 * Another way to create a time zone is <code>getTimeZone</code>, where
53 
 * you can give an identifier as parameter.  For instance, the identifier
54 
 * of the Central European Time zone is "CET".
55 
 *
56 
 * With the <code>getAvailableIDs</code> method, you can get all the
57 
 * supported time zone identifiers.
58 
 *
59 
 * @see Calendar
60 
 * @see SimpleTimeZone
61 
 * @author Jochen Hoenicke
62 
 */
63 
public abstract class TimeZone implements java.io.Serializable, Cloneable
64 
{
65 
 
66 
  /**
67 
   * Constant used to indicate that a short timezone abbreviation should
68 
   * be returned, such as "EST"
69 
   */
70 
  public static final int SHORT = 0;
71 
 
72 
  /**
73 
   * Constant used to indicate that a long timezone name should be
74 
   * returned, such as "Eastern Standard Time".
75 
   */
76 
  public static final int LONG = 1;
77 
 
78 
  /**
79 
   * The time zone identifier, e.g. PST.
80 
   */
81 
  private String ID;
82 
 
83 
  /**
84 
   * The default time zone, as returned by getDefault.
85 
   */
86 
  private static TimeZone defaultZone0;
87 
 
88 
  /**
89 
   * Tries to get the default TimeZone for this system if not already
90 
   * set.  It will call <code>getDefaultTimeZone(String)</code> with
91 
   * the result of <code>System.getProperty("user.timezone")</code>.
92 
   * If that fails it calls <code>VMTimeZone.getDefaultTimeZoneId()</code>.
93 
   * If that also fails GMT is returned.
94 
   */
95 
  private static synchronized TimeZone defaultZone()
96 
  {
97 
    /* Look up default timezone */
98 
    if (defaultZone0 == null)
99 
      {
100 
        defaultZone0 = (TimeZone) AccessController.doPrivileged
101 
          (new PrivilegedAction()
102 
            {
103 
              public Object run()
104 
              {
105 
                TimeZone zone = null;
106 
 
107 
                // Prefer System property user.timezone.
108 
                String tzid = System.getProperty("user.timezone");
109 
                if (tzid != null && !tzid.equals(""))
110 
                  zone = getDefaultTimeZone(tzid);
111 
 
112 
                // Try platfom specific way.
113 
                if (zone == null)
114 
                  zone = VMTimeZone.getDefaultTimeZoneId();
115 
 
116 
                // Fall back on GMT.
117 
                if (zone == null)
118 
                  zone = (TimeZone) timezones().get("GMT");
119 
 
120 
                return zone;
121 
              }
122 
            });
123 
      }
124 
 
125 
    return defaultZone0;
126 
  }
127 
 
128 
  private static final long serialVersionUID = 3581463369166924961L;
129 
 
130 
  /**
131 
   * HashMap for timezones by ID.
132 
   */
133 
  private static HashMap timezones0;
134 
  /* initialize this static field lazily to overhead if
135 
   * it is not needed:
136 
   */
137 
  // Package-private to avoid a trampoline.
138 
  static synchronized HashMap timezones()
139 
  {
140 
    if (timezones0 == null)
141 
      {
142 
        HashMap timezones = new HashMap();
143 
        timezones0 = timezones;
144 
 
145 
        TimeZone tz;
146 
        // Automatically generated by scripts/timezones.pl
147 
        // XXX - Should we read this data from a file?
148 
        tz = new SimpleTimeZone(-11000 * 3600, "MIT");
149 
        timezones0.put("MIT", tz);
150 
        timezones0.put("Pacific/Apia", tz);
151 
        timezones0.put("Pacific/Midway", tz);
152 
        timezones0.put("Pacific/Niue", tz);
153 
        timezones0.put("Pacific/Pago_Pago", tz);
154 
        tz = new SimpleTimeZone
155 
          (-10000 * 3600, "America/Adak",
156 
           Calendar.APRIL, 1, Calendar.SUNDAY, 2000 * 3600,
157 
           Calendar.OCTOBER, -1, Calendar.SUNDAY, 2000 * 3600);
158 
        timezones0.put("America/Adak", tz);
159 
        tz = new SimpleTimeZone(-10000 * 3600, "HST");
160 
        timezones0.put("HST", tz);
161 
        timezones0.put("Pacific/Fakaofo", tz);
162 
        timezones0.put("Pacific/Honolulu", tz);
163 
        timezones0.put("Pacific/Johnston", tz);
164 
        timezones0.put("Pacific/Rarotonga", tz);
165 
        timezones0.put("Pacific/Tahiti", tz);
166 
        tz = new SimpleTimeZone(-9500 * 3600, "Pacific/Marquesas");
167 
        timezones0.put("Pacific/Marquesas", tz);
168 
        tz = new SimpleTimeZone
169 
          (-9000 * 3600, "AST",
170 
           Calendar.APRIL, 1, Calendar.SUNDAY, 2000 * 3600,
171 
           Calendar.OCTOBER, -1, Calendar.SUNDAY, 2000 * 3600);
172 
        timezones0.put("AST", tz);
173 
        timezones0.put("America/Anchorage", tz);
174 
        timezones0.put("America/Juneau", tz);
175 
        timezones0.put("America/Nome", tz);
176 
        timezones0.put("America/Yakutat", tz);
177 
        tz = new SimpleTimeZone(-9000 * 3600, "Pacific/Gambier");
178 
        timezones0.put("Pacific/Gambier", tz);
179 
        tz = new SimpleTimeZone
180 
          (-8000 * 3600, "PST",
181 
           Calendar.APRIL, 1, Calendar.SUNDAY, 2000 * 3600,
182 
           Calendar.OCTOBER, -1, Calendar.SUNDAY, 2000 * 3600);
183 
        timezones0.put("PST", tz);
184 
        timezones0.put("PST8PDT", tz);
185 
        timezones0.put("America/Dawson", tz);
186 
        timezones0.put("America/Los_Angeles", tz);
187 
        timezones0.put("America/Tijuana", tz);
188 
        timezones0.put("America/Vancouver", tz);
189 
        timezones0.put("America/Whitehorse", tz);
190 
        timezones0.put("US/Pacific-New", tz);
191 
        tz = new SimpleTimeZone(-8000 * 3600, "Pacific/Pitcairn");
192 
        timezones0.put("Pacific/Pitcairn", tz);
193 
        tz = new SimpleTimeZone
194 
          (-7000 * 3600, "MST",
195 
           Calendar.APRIL, 1, Calendar.SUNDAY, 2000 * 3600,
196 
           Calendar.OCTOBER, -1, Calendar.SUNDAY, 2000 * 3600);
197 
        timezones0.put("MST", tz);
198 
        timezones0.put("MST7MDT", tz);
199 
        timezones0.put("America/Boise", tz);
200 
        timezones0.put("America/Cambridge_Bay", tz);
201 
        timezones0.put("America/Chihuahua", tz);
202 
        timezones0.put("America/Denver", tz);
203 
        timezones0.put("America/Edmonton", tz);
204 
        timezones0.put("America/Inuvik", tz);
205 
        timezones0.put("America/Mazatlan", tz);
206 
        timezones0.put("America/Shiprock", tz);
207 
        timezones0.put("America/Yellowknife", tz);
208 
        tz = new SimpleTimeZone(-7000 * 3600, "MST7");
209 
        timezones0.put("MST7", tz);
210 
        timezones0.put("PNT", tz);
211 
        timezones0.put("America/Dawson_Creek", tz);
212 
        timezones0.put("America/Hermosillo", tz);
213 
        timezones0.put("America/Phoenix", tz);
214 
        tz = new SimpleTimeZone
215 
          (-6000 * 3600, "CST",
216 
           Calendar.APRIL, 1, Calendar.SUNDAY, 2000 * 3600,
217 
           Calendar.OCTOBER, -1, Calendar.SUNDAY, 2000 * 3600);
218 
        timezones0.put("CST", tz);
219 
        timezones0.put("CST6CDT", tz);
220 
        timezones0.put("America/Cancun", tz);
221 
        timezones0.put("America/Chicago", tz);
222 
        timezones0.put("America/Menominee", tz);
223 
        timezones0.put("America/Merida", tz);
224 
        timezones0.put("America/Mexico_City", tz);
225 
        timezones0.put("America/Monterrey", tz);
226 
        timezones0.put("America/North_Dakota/Center", tz);
227 
        timezones0.put("America/Rainy_River", tz);
228 
        timezones0.put("America/Rankin_Inlet", tz);
229 
        tz = new SimpleTimeZone(-6000 * 3600, "America/Belize");
230 
        timezones0.put("America/Belize", tz);
231 
        timezones0.put("America/Costa_Rica", tz);
232 
        timezones0.put("America/El_Salvador", tz);
233 
        timezones0.put("America/Guatemala", tz);
234 
        timezones0.put("America/Managua", tz);
235 
        timezones0.put("America/Regina", tz);
236 
        timezones0.put("America/Swift_Current", tz);
237 
        timezones0.put("America/Tegucigalpa", tz);
238 
        timezones0.put("Pacific/Galapagos", tz);
239 
        tz = new SimpleTimeZone
240 
          (-6000 * 3600, "America/Winnipeg",
241 
           Calendar.APRIL, 1, Calendar.SUNDAY, 2000 * 3600,
242 
           Calendar.OCTOBER, -1, Calendar.SUNDAY, 3000 * 3600);
243 
        timezones0.put("America/Winnipeg", tz);
244 
        tz = new SimpleTimeZone
245 
          (-6000 * 3600, "Pacific/Easter",
246 
           Calendar.OCTOBER, 2, Calendar.SATURDAY, 23000 * 3600,
247 
           Calendar.MARCH, 2, Calendar.SATURDAY, 22000 * 3600);
248 
        timezones0.put("Pacific/Easter", tz);
249 
        tz = new SimpleTimeZone
250 
          (-5000 * 3600, "America/Grand_Turk",
251 
           Calendar.APRIL, 1, Calendar.SUNDAY, 0 * 3600,
252 
           Calendar.OCTOBER, -1, Calendar.SUNDAY, 0 * 3600);
253 
        timezones0.put("America/Grand_Turk", tz);
254 
        tz = new SimpleTimeZone
255 
          (-5000 * 3600, "America/Havana",
256 
           Calendar.APRIL, 1, Calendar.SUNDAY, 1000 * 3600,
257 
           Calendar.OCTOBER, -1, Calendar.SUNDAY, 1000 * 3600);
258 
        timezones0.put("America/Havana", tz);
259 
        tz = new SimpleTimeZone(-5000 * 3600, "EST5");
260 
        timezones0.put("EST5", tz);
261 
        timezones0.put("IET", tz);
262 
        timezones0.put("America/Bogota", tz);
263 
        timezones0.put("America/Cayman", tz);
264 
        timezones0.put("America/Eirunepe", tz);
265 
        timezones0.put("America/Guayaquil", tz);
266 
        timezones0.put("America/Indiana/Indianapolis", tz);
267 
        timezones0.put("America/Indiana/Knox", tz);
268 
        timezones0.put("America/Indiana/Marengo", tz);
269 
        timezones0.put("America/Indiana/Vevay", tz);
270 
        timezones0.put("America/Indianapolis", tz);
271 
        timezones0.put("America/Jamaica", tz);
272 
        timezones0.put("America/Lima", tz);
273 
        timezones0.put("America/Panama", tz);
274 
        timezones0.put("America/Port-au-Prince", tz);
275 
        timezones0.put("America/Rio_Branco", tz);
276 
        tz = new SimpleTimeZone
277 
          (-5000 * 3600, "EST",
278 
           Calendar.APRIL, 1, Calendar.SUNDAY, 2000 * 3600,
279 
           Calendar.OCTOBER, -1, Calendar.SUNDAY, 2000 * 3600);
280 
        timezones0.put("EST", tz);
281 
        timezones0.put("EST5EDT", tz);
282 
        timezones0.put("America/Detroit", tz);
283 
        timezones0.put("America/Iqaluit", tz);
284 
        timezones0.put("America/Kentucky/Louisville", tz);
285 
        timezones0.put("America/Kentucky/Monticello", tz);
286 
        timezones0.put("America/Louisville", tz);
287 
        timezones0.put("America/Montreal", tz);
288 
        timezones0.put("America/Nassau", tz);
289 
        timezones0.put("America/New_York", tz);
290 
        timezones0.put("America/Nipigon", tz);
291 
        timezones0.put("America/Pangnirtung", tz);
292 
        timezones0.put("America/Thunder_Bay", tz);
293 
        timezones0.put("America/Toronto", tz);
294 
        tz = new SimpleTimeZone(-4000 * 3600, "PRT");
295 
        timezones0.put("PRT", tz);
296 
        timezones0.put("America/Anguilla", tz);
297 
        timezones0.put("America/Antigua", tz);
298 
        timezones0.put("America/Aruba", tz);
299 
        timezones0.put("America/Barbados", tz);
300 
        timezones0.put("America/Boa_Vista", tz);
301 
        timezones0.put("America/Caracas", tz);
302 
        timezones0.put("America/Curacao", tz);
303 
        timezones0.put("America/Dominica", tz);
304 
        timezones0.put("America/Grenada", tz);
305 
        timezones0.put("America/Guadeloupe", tz);
306 
        timezones0.put("America/Guyana", tz);
307 
        timezones0.put("America/La_Paz", tz);
308 
        timezones0.put("America/Manaus", tz);
309 
        timezones0.put("America/Martinique", tz);
310 
        timezones0.put("America/Montserrat", tz);
311 
        timezones0.put("America/Port_of_Spain", tz);
312 
        timezones0.put("America/Porto_Velho", tz);
313 
        timezones0.put("America/Puerto_Rico", tz);
314 
        timezones0.put("America/Santo_Domingo", tz);
315 
        timezones0.put("America/St_Kitts", tz);
316 
        timezones0.put("America/St_Lucia", tz);
317 
        timezones0.put("America/St_Thomas", tz);
318 
        timezones0.put("America/St_Vincent", tz);
319 
        timezones0.put("America/Tortola", tz);
320 
        tz = new SimpleTimeZone
321 
          (-4000 * 3600, "America/Asuncion",
322 
           Calendar.OCTOBER, 3, Calendar.SUNDAY, 0 * 3600,
323 
           Calendar.MARCH, 2, Calendar.SUNDAY, 0 * 3600);
324 
        timezones0.put("America/Asuncion", tz);
325 
        tz = new SimpleTimeZone
326 
          (-4000 * 3600, "America/Campo_Grande",
327 
           Calendar.OCTOBER, 3, Calendar.SUNDAY, 0 * 3600,
328 
           Calendar.FEBRUARY, 3, Calendar.SUNDAY, 0 * 3600);
329 
        timezones0.put("America/Campo_Grande", tz);
330 
        timezones0.put("America/Cuiaba", tz);
331 
        tz = new SimpleTimeZone
332 
          (-4000 * 3600, "America/Goose_Bay",
333 
           Calendar.APRIL, 1, Calendar.SUNDAY, 60000,
334 
           Calendar.OCTOBER, -1, Calendar.SUNDAY, 60000);
335 
        timezones0.put("America/Goose_Bay", tz);
336 
        tz = new SimpleTimeZone
337 
          (-4000 * 3600, "America/Santiago",
338 
           Calendar.OCTOBER, 9, -Calendar.SUNDAY, 1000 * 3600,
339 
           Calendar.MARCH, 9, -Calendar.SUNDAY, 0 * 3600);
340 
        timezones0.put("America/Santiago", tz);
341 
        tz = new SimpleTimeZone
342 
          (-4000 * 3600, "America/Glace_Bay",
343 
           Calendar.APRIL, 1, Calendar.SUNDAY, 2000 * 3600,
344 
           Calendar.OCTOBER, -1, Calendar.SUNDAY, 2000 * 3600);
345 
        timezones0.put("America/Glace_Bay", tz);
346 
        timezones0.put("America/Halifax", tz);
347 
        timezones0.put("America/Thule", tz);
348 
        timezones0.put("Atlantic/Bermuda", tz);
349 
        tz = new SimpleTimeZone
350 
          (-4000 * 3600, "Antarctica/Palmer",
351 
           Calendar.OCTOBER, 9, -Calendar.SUNDAY, 0 * 3600,
352 
           Calendar.MARCH, 9, -Calendar.SUNDAY, 0 * 3600);
353 
        timezones0.put("Antarctica/Palmer", tz);
354 
        tz = new SimpleTimeZone
355 
          (-4000 * 3600, "Atlantic/Stanley",
356 
           Calendar.SEPTEMBER, 1, Calendar.SUNDAY, 2000 * 3600,
357 
           Calendar.APRIL, 3, Calendar.SUNDAY, 2000 * 3600);
358 
        timezones0.put("Atlantic/Stanley", tz);
359 
        tz = new SimpleTimeZone
360 
          (-3500 * 3600, "CNT",
361 
           Calendar.APRIL, 1, Calendar.SUNDAY, 60000,
362 
           Calendar.OCTOBER, -1, Calendar.SUNDAY, 60000);
363 
        timezones0.put("CNT", tz);
364 
        timezones0.put("America/St_Johns", tz);
365 
        tz = new SimpleTimeZone
366 
          (-3000 * 3600, "America/Godthab",
367 
           Calendar.MARCH, 30, -Calendar.SATURDAY, 23000 * 3600,
368 
           Calendar.OCTOBER, 30, -Calendar.SATURDAY, 23000 * 3600);
369 
        timezones0.put("America/Godthab", tz);
370 
        tz = new SimpleTimeZone
371 
          (-3000 * 3600, "America/Miquelon",
372 
           Calendar.APRIL, 1, Calendar.SUNDAY, 2000 * 3600,
373 
           Calendar.OCTOBER, -1, Calendar.SUNDAY, 2000 * 3600);
374 
        timezones0.put("America/Miquelon", tz);
375 
        tz = new SimpleTimeZone
376 
          (-3000 * 3600, "America/Sao_Paulo",
377 
           Calendar.OCTOBER, 3, Calendar.SUNDAY, 0 * 3600,
378 
           Calendar.FEBRUARY, 3, Calendar.SUNDAY, 0 * 3600);
379 
        timezones0.put("America/Sao_Paulo", tz);
380 
        tz = new SimpleTimeZone(-3000 * 3600, "AGT");
381 
        timezones0.put("AGT", tz);
382 
        timezones0.put("America/Araguaina", tz);
383 
        timezones0.put("America/Argentina/Buenos_Aires", tz);
384 
        timezones0.put("America/Argentina/Catamarca", tz);
385 
        timezones0.put("America/Argentina/ComodRivadavia", tz);
386 
        timezones0.put("America/Argentina/Cordoba", tz);
387 
        timezones0.put("America/Argentina/Jujuy", tz);
388 
        timezones0.put("America/Argentina/La_Rioja", tz);
389 
        timezones0.put("America/Argentina/Mendoza", tz);
390 
        timezones0.put("America/Argentina/Rio_Gallegos", tz);
391 
        timezones0.put("America/Argentina/San_Juan", tz);
392 
        timezones0.put("America/Argentina/Tucuman", tz);
393 
        timezones0.put("America/Argentina/Ushuaia", tz);
394 
        timezones0.put("America/Bahia", tz);
395 
        timezones0.put("America/Belem", tz);
396 
        timezones0.put("America/Cayenne", tz);
397 
        timezones0.put("America/Fortaleza", tz);
398 
        timezones0.put("America/Maceio", tz);
399 
        timezones0.put("America/Montevideo", tz);
400 
        timezones0.put("America/Paramaribo", tz);
401 
        timezones0.put("America/Recife", tz);
402 
        timezones0.put("Antarctica/Rothera", tz);
403 
        tz = new SimpleTimeZone(-2000 * 3600, "America/Noronha");
404 
        timezones0.put("America/Noronha", tz);
405 
        timezones0.put("Atlantic/South_Georgia", tz);
406 
        tz = new SimpleTimeZone
407 
          (-1000 * 3600, "America/Scoresbysund",
408 
           Calendar.MARCH, -1, Calendar.SUNDAY, 1000 * 3600,
409 
           Calendar.OCTOBER, -1, Calendar.SUNDAY, 1000 * 3600);
410 
        timezones0.put("America/Scoresbysund", tz);
411 
        timezones0.put("Atlantic/Azores", tz);
412 
        tz = new SimpleTimeZone(-1000 * 3600, "Atlantic/Cape_Verde");
413 
        timezones0.put("Atlantic/Cape_Verde", tz);
414 
        tz = new SimpleTimeZone(0 * 3600, "GMT");
415 
        timezones0.put("GMT", tz);
416 
        timezones0.put("UTC", tz);
417 
        timezones0.put("Africa/Abidjan", tz);
418 
        timezones0.put("Africa/Accra", tz);
419 
        timezones0.put("Africa/Bamako", tz);
420 
        timezones0.put("Africa/Banjul", tz);
421 
        timezones0.put("Africa/Bissau", tz);
422 
        timezones0.put("Africa/Casablanca", tz);
423 
        timezones0.put("Africa/Conakry", tz);
424 
        timezones0.put("Africa/Dakar", tz);
425 
        timezones0.put("Africa/El_Aaiun", tz);
426 
        timezones0.put("Africa/Freetown", tz);
427 
        timezones0.put("Africa/Lome", tz);
428 
        timezones0.put("Africa/Monrovia", tz);
429 
        timezones0.put("Africa/Nouakchott", tz);
430 
        timezones0.put("Africa/Ouagadougou", tz);
431 
        timezones0.put("Africa/Sao_Tome", tz);
432 
        timezones0.put("Africa/Timbuktu", tz);
433 
        timezones0.put("America/Danmarkshavn", tz);
434 
        timezones0.put("Atlantic/Reykjavik", tz);
435 
        timezones0.put("Atlantic/St_Helena", tz);
436 
        timezones0.put("Europe/Belfast", tz);
437 
        timezones0.put("Europe/Dublin", tz);
438 
        timezones0.put("Europe/London", tz);
439 
        tz = new SimpleTimeZone
440 
          (0 * 3600, "WET",
441 
           Calendar.MARCH, -1, Calendar.SUNDAY, 2000 * 3600,
442 
           Calendar.OCTOBER, -1, Calendar.SUNDAY, 2000 * 3600);
443 
        timezones0.put("WET", tz);
444 
        timezones0.put("Atlantic/Canary", tz);
445 
        timezones0.put("Atlantic/Faeroe", tz);
446 
        timezones0.put("Atlantic/Madeira", tz);
447 
        timezones0.put("Europe/Lisbon", tz);
448 
        tz = new SimpleTimeZone(1000 * 3600, "Africa/Algiers");
449 
        timezones0.put("Africa/Algiers", tz);
450 
        timezones0.put("Africa/Bangui", tz);
451 
        timezones0.put("Africa/Brazzaville", tz);
452 
        timezones0.put("Africa/Douala", tz);
453 
        timezones0.put("Africa/Kinshasa", tz);
454 
        timezones0.put("Africa/Lagos", tz);
455 
        timezones0.put("Africa/Libreville", tz);
456 
        timezones0.put("Africa/Luanda", tz);
457 
        timezones0.put("Africa/Malabo", tz);
458 
        timezones0.put("Africa/Ndjamena", tz);
459 
        timezones0.put("Africa/Niamey", tz);
460 
        timezones0.put("Africa/Porto-Novo", tz);
461 
        timezones0.put("Africa/Tunis", tz);
462 
        tz = new SimpleTimeZone
463 
          (1000 * 3600, "Africa/Windhoek",
464 
           Calendar.SEPTEMBER, 1, Calendar.SUNDAY, 2000 * 3600,
465 
           Calendar.APRIL, 1, Calendar.SUNDAY, 2000 * 3600);
466 
        timezones0.put("Africa/Windhoek", tz);
467 
        tz = new SimpleTimeZone
468 
          (1000 * 3600, "CET",
469 
           Calendar.MARCH, -1, Calendar.SUNDAY, 3000 * 3600,
470 
           Calendar.OCTOBER, -1, Calendar.SUNDAY, 3000 * 3600);
471 
        timezones0.put("CET", tz);
472 
        timezones0.put("ECT", tz);
473 
        timezones0.put("MET", tz);
474 
        timezones0.put("Africa/Ceuta", tz);
475 
        timezones0.put("Arctic/Longyearbyen", tz);
476 
        timezones0.put("Atlantic/Jan_Mayen", tz);
477 
        timezones0.put("Europe/Amsterdam", tz);
478 
        timezones0.put("Europe/Andorra", tz);
479 
        timezones0.put("Europe/Belgrade", tz);
480 
        timezones0.put("Europe/Berlin", tz);
481 
        timezones0.put("Europe/Bratislava", tz);
482 
        timezones0.put("Europe/Brussels", tz);
483 
        timezones0.put("Europe/Budapest", tz);
484 
        timezones0.put("Europe/Copenhagen", tz);
485 
        timezones0.put("Europe/Gibraltar", tz);
486 
        timezones0.put("Europe/Ljubljana", tz);
487 
        timezones0.put("Europe/Luxembourg", tz);
488 
        timezones0.put("Europe/Madrid", tz);
489 
        timezones0.put("Europe/Malta", tz);
490 
        timezones0.put("Europe/Monaco", tz);
491 
        timezones0.put("Europe/Oslo", tz);
492 
        timezones0.put("Europe/Paris", tz);
493 
        timezones0.put("Europe/Prague", tz);
494 
        timezones0.put("Europe/Rome", tz);
495 
        timezones0.put("Europe/San_Marino", tz);
496 
        timezones0.put("Europe/Sarajevo", tz);
497 
        timezones0.put("Europe/Skopje", tz);
498 
        timezones0.put("Europe/Stockholm", tz);
499 
        timezones0.put("Europe/Tirane", tz);
500 
        timezones0.put("Europe/Vaduz", tz);
501 
        timezones0.put("Europe/Vatican", tz);
502 
        timezones0.put("Europe/Vienna", tz);
503 
        timezones0.put("Europe/Warsaw", tz);
504 
        timezones0.put("Europe/Zagreb", tz);
505 
        timezones0.put("Europe/Zurich", tz);
506 
        tz = new SimpleTimeZone
507 
          (2000 * 3600, "ART",
508 
           Calendar.APRIL, -1, Calendar.FRIDAY, 1000 * 3600,
509 
           Calendar.SEPTEMBER, -1, Calendar.THURSDAY, 24000 * 3600);
510 
        timezones0.put("ART", tz);
511 
        timezones0.put("Africa/Cairo", tz);
512 
        tz = new SimpleTimeZone(2000 * 3600, "CAT");
513 
        timezones0.put("CAT", tz);
514 
        timezones0.put("Africa/Blantyre", tz);
515 
        timezones0.put("Africa/Bujumbura", tz);
516 
        timezones0.put("Africa/Gaborone", tz);
517 
        timezones0.put("Africa/Harare", tz);
518 
        timezones0.put("Africa/Johannesburg", tz);
519 
        timezones0.put("Africa/Kigali", tz);
520 
        timezones0.put("Africa/Lubumbashi", tz);
521 
        timezones0.put("Africa/Lusaka", tz);
522 
        timezones0.put("Africa/Maputo", tz);
523 
        timezones0.put("Africa/Maseru", tz);
524 
        timezones0.put("Africa/Mbabane", tz);
525 
        timezones0.put("Africa/Tripoli", tz);
526 
        timezones0.put("Asia/Jerusalem", tz);
527 
        tz = new SimpleTimeZone
528 
          (2000 * 3600, "Asia/Amman",
529 
           Calendar.MARCH, -1, Calendar.THURSDAY, 1000 * 3600,
530 
           Calendar.SEPTEMBER, -1, Calendar.THURSDAY, 1000 * 3600);
531 
        timezones0.put("Asia/Amman", tz);
532 
        tz = new SimpleTimeZone
533 
          (2000 * 3600, "Asia/Beirut",
534 
           Calendar.MARCH, -1, Calendar.SUNDAY, 0 * 3600,
535 
           Calendar.OCTOBER, -1, Calendar.SUNDAY, 0 * 3600);
536 
        timezones0.put("Asia/Beirut", tz);
537 
        tz = new SimpleTimeZone
538 
          (2000 * 3600, "Asia/Damascus",
539 
           Calendar.APRIL, 1, 0, 0 * 3600,
540 
           Calendar.OCTOBER, 1, 0, 0 * 3600);
541 
        timezones0.put("Asia/Damascus", tz);
542 
        tz = new SimpleTimeZone
543 
          (2000 * 3600, "Asia/Gaza",
544 
           Calendar.APRIL, 3, Calendar.FRIDAY, 0 * 3600,
545 
           Calendar.OCTOBER, 3, Calendar.FRIDAY, 0 * 3600);
546 
        timezones0.put("Asia/Gaza", tz);
547 
        tz = new SimpleTimeZone
548 
          (2000 * 3600, "EET",
549 
           Calendar.MARCH, -1, Calendar.SUNDAY, 4000 * 3600,
550 
           Calendar.OCTOBER, -1, Calendar.SUNDAY, 4000 * 3600);
551 
        timezones0.put("EET", tz);
552 
        timezones0.put("Asia/Istanbul", tz);
553 
        timezones0.put("Asia/Nicosia", tz);
554 
        timezones0.put("Europe/Athens", tz);
555 
        timezones0.put("Europe/Bucharest", tz);
556 
        timezones0.put("Europe/Chisinau", tz);
557 
        timezones0.put("Europe/Helsinki", tz);
558 
        timezones0.put("Europe/Istanbul", tz);
559 
        timezones0.put("Europe/Kiev", tz);
560 
        timezones0.put("Europe/Mariehamn", tz);
561 
        timezones0.put("Europe/Nicosia", tz);
562 
        timezones0.put("Europe/Riga", tz);
563 
        timezones0.put("Europe/Simferopol", tz);
564 
        timezones0.put("Europe/Sofia", tz);
565 
        timezones0.put("Europe/Tallinn", tz);
566 
        timezones0.put("Europe/Uzhgorod", tz);
567 
        timezones0.put("Europe/Vilnius", tz);
568 
        timezones0.put("Europe/Zaporozhye", tz);
569 
        tz = new SimpleTimeZone
570 
          (2000 * 3600, "Europe/Kaliningrad",
571 
           Calendar.MARCH, -1, Calendar.SUNDAY, 3000 * 3600,
572 
           Calendar.OCTOBER, -1, Calendar.SUNDAY, 3000 * 3600);
573 
        timezones0.put("Europe/Kaliningrad", tz);
574 
        timezones0.put("Europe/Minsk", tz);
575 
        tz = new SimpleTimeZone
576 
          (3000 * 3600, "Asia/Baghdad",
577 
           Calendar.APRIL, 1, 0, 4000 * 3600,
578 
           Calendar.OCTOBER, 1, 0, 4000 * 3600);
579 
        timezones0.put("Asia/Baghdad", tz);
580 
        tz = new SimpleTimeZone
581 
          (3000 * 3600, "Asia/Tbilisi",
582 
           Calendar.MARCH, -1, Calendar.SUNDAY, 3000 * 3600,
583 
           Calendar.OCTOBER, -1, Calendar.SUNDAY, 3000 * 3600);
584 
        timezones0.put("Asia/Tbilisi", tz);
585 
        timezones0.put("Europe/Moscow", tz);
586 
        tz = new SimpleTimeZone(3000 * 3600, "EAT");
587 
        timezones0.put("EAT", tz);
588 
        timezones0.put("Africa/Addis_Ababa", tz);
589 
        timezones0.put("Africa/Asmera", tz);
590 
        timezones0.put("Africa/Dar_es_Salaam", tz);
591 
        timezones0.put("Africa/Djibouti", tz);
592 
        timezones0.put("Africa/Kampala", tz);
593 
        timezones0.put("Africa/Khartoum", tz);
594 
        timezones0.put("Africa/Mogadishu", tz);
595 
        timezones0.put("Africa/Nairobi", tz);
596 
        timezones0.put("Antarctica/Syowa", tz);
597 
        timezones0.put("Asia/Aden", tz);
598 
        timezones0.put("Asia/Bahrain", tz);
599 
        timezones0.put("Asia/Kuwait", tz);
600 
        timezones0.put("Asia/Qatar", tz);
601 
        timezones0.put("Asia/Riyadh", tz);
602 
        timezones0.put("Indian/Antananarivo", tz);
603 
        timezones0.put("Indian/Comoro", tz);
604 
        timezones0.put("Indian/Mayotte", tz);
605 
        tz = new SimpleTimeZone(3500 * 3600, "Asia/Tehran");
606 
        timezones0.put("Asia/Tehran", tz);
607 
        tz = new SimpleTimeZone
608 
          (4000 * 3600, "Asia/Baku",
609 
           Calendar.MARCH, -1, Calendar.SUNDAY, 1000 * 3600,
610 
           Calendar.OCTOBER, -1, Calendar.SUNDAY, 1000 * 3600);
611 
        timezones0.put("Asia/Baku", tz);
612 
        tz = new SimpleTimeZone
613 
          (4000 * 3600, "Asia/Yerevan",
614 
           Calendar.MARCH, -1, Calendar.SUNDAY, 3000 * 3600,
615 
           Calendar.OCTOBER, -1, Calendar.SUNDAY, 3000 * 3600);
616 
        timezones0.put("Asia/Yerevan", tz);
617 
        timezones0.put("Europe/Samara", tz);
618 
        tz = new SimpleTimeZone(4000 * 3600, "NET");
619 
        timezones0.put("NET", tz);
620 
        timezones0.put("Asia/Aqtau", tz);
621 
        timezones0.put("Asia/Dubai", tz);
622 
        timezones0.put("Asia/Muscat", tz);
623 
        timezones0.put("Asia/Oral", tz);
624 
        timezones0.put("Indian/Mahe", tz);
625 
        timezones0.put("Indian/Mauritius", tz);
626 
        timezones0.put("Indian/Reunion", tz);
627 
        tz = new SimpleTimeZone(4500 * 3600, "Asia/Kabul");
628 
        timezones0.put("Asia/Kabul", tz);
629 
        tz = new SimpleTimeZone
630 
          (5000 * 3600, "Asia/Bishkek",
631 
           Calendar.MARCH, -1, Calendar.SUNDAY, 2500 * 3600,
632 
           Calendar.OCTOBER, -1, Calendar.SUNDAY, 2500 * 3600);
633 
        timezones0.put("Asia/Bishkek", tz);
634 
        tz = new SimpleTimeZone
635 
          (5000 * 3600, "Asia/Yekaterinburg",
636 
           Calendar.MARCH, -1, Calendar.SUNDAY, 3000 * 3600,
637 
           Calendar.OCTOBER, -1, Calendar.SUNDAY, 3000 * 3600);
638 
        timezones0.put("Asia/Yekaterinburg", tz);
639 
        tz = new SimpleTimeZone(5000 * 3600, "PLT");
640 
        timezones0.put("PLT", tz);
641 
        timezones0.put("Asia/Aqtobe", tz);
642 
        timezones0.put("Asia/Ashgabat", tz);
643 
        timezones0.put("Asia/Dushanbe", tz);
644 
        timezones0.put("Asia/Karachi", tz);
645 
        timezones0.put("Asia/Samarkand", tz);
646 
        timezones0.put("Asia/Tashkent", tz);
647 
        timezones0.put("Indian/Kerguelen", tz);
648 
        timezones0.put("Indian/Maldives", tz);
649 
        tz = new SimpleTimeZone(5500 * 3600, "IST");
650 
        timezones0.put("IST", tz);
651 
        timezones0.put("Asia/Calcutta", tz);
652 
        tz = new SimpleTimeZone(5750 * 3600, "Asia/Katmandu");
653 
        timezones0.put("Asia/Katmandu", tz);
654 
        tz = new SimpleTimeZone(6000 * 3600, "BST");
655 
        timezones0.put("BST", tz);
656 
        timezones0.put("Antarctica/Mawson", tz);
657 
        timezones0.put("Antarctica/Vostok", tz);
658 
        timezones0.put("Asia/Almaty", tz);
659 
        timezones0.put("Asia/Colombo", tz);
660 
        timezones0.put("Asia/Dhaka", tz);
661 
        timezones0.put("Asia/Qyzylorda", tz);
662 
        timezones0.put("Asia/Thimphu", tz);
663 
        timezones0.put("Indian/Chagos", tz);
664 
        tz = new SimpleTimeZone
665 
          (6000 * 3600, "Asia/Novosibirsk",
666 
           Calendar.MARCH, -1, Calendar.SUNDAY, 3000 * 3600,
667 
           Calendar.OCTOBER, -1, Calendar.SUNDAY, 3000 * 3600);
668 
        timezones0.put("Asia/Novosibirsk", tz);
669 
        timezones0.put("Asia/Omsk", tz);
670 
        tz = new SimpleTimeZone(6500 * 3600, "Asia/Rangoon");
671 
        timezones0.put("Asia/Rangoon", tz);
672 
        timezones0.put("Indian/Cocos", tz);
673 
        tz = new SimpleTimeZone(7000 * 3600, "VST");
674 
        timezones0.put("VST", tz);
675 
        timezones0.put("Antarctica/Davis", tz);
676 
        timezones0.put("Asia/Bangkok", tz);
677 
        timezones0.put("Asia/Jakarta", tz);
678 
        timezones0.put("Asia/Phnom_Penh", tz);
679 
        timezones0.put("Asia/Pontianak", tz);
680 
        timezones0.put("Asia/Saigon", tz);
681 
        timezones0.put("Asia/Vientiane", tz);
682 
        timezones0.put("Indian/Christmas", tz);
683 
        tz = new SimpleTimeZone
684 
          (7000 * 3600, "Asia/Hovd",
685 
           Calendar.MARCH, -1, Calendar.SATURDAY, 2000 * 3600,
686 
           Calendar.SEPTEMBER, -1, Calendar.SATURDAY, 2000 * 3600);
687 
        timezones0.put("Asia/Hovd", tz);
688 
        tz = new SimpleTimeZone
689 
          (7000 * 3600, "Asia/Krasnoyarsk",
690 
           Calendar.MARCH, -1, Calendar.SUNDAY, 3000 * 3600,
691 
           Calendar.OCTOBER, -1, Calendar.SUNDAY, 3000 * 3600);
692 
        timezones0.put("Asia/Krasnoyarsk", tz);
693 
        tz = new SimpleTimeZone(8000 * 3600, "CTT");
694 
        timezones0.put("CTT", tz);
695 
        timezones0.put("Antarctica/Casey", tz);
696 
        timezones0.put("Asia/Brunei", tz);
697 
        timezones0.put("Asia/Chongqing", tz);
698 
        timezones0.put("Asia/Harbin", tz);
699 
        timezones0.put("Asia/Hong_Kong", tz);
700 
        timezones0.put("Asia/Kashgar", tz);
701 
        timezones0.put("Asia/Kuala_Lumpur", tz);
702 
        timezones0.put("Asia/Kuching", tz);
703 
        timezones0.put("Asia/Macau", tz);
704 
        timezones0.put("Asia/Makassar", tz);
705 
        timezones0.put("Asia/Manila", tz);
706 
        timezones0.put("Asia/Shanghai", tz);
707 
        timezones0.put("Asia/Singapore", tz);
708 
        timezones0.put("Asia/Taipei", tz);
709 
        timezones0.put("Asia/Urumqi", tz);
710 
        timezones0.put("Australia/Perth", tz);
711 
        tz = new SimpleTimeZone
712 
          (8000 * 3600, "Asia/Irkutsk",
713 
           Calendar.MARCH, -1, Calendar.SUNDAY, 3000 * 3600,
714 
           Calendar.OCTOBER, -1, Calendar.SUNDAY, 3000 * 3600);
715 
        timezones0.put("Asia/Irkutsk", tz);
716 
        tz = new SimpleTimeZone
717 
          (8000 * 3600, "Asia/Ulaanbaatar",
718 
           Calendar.MARCH, -1, Calendar.SATURDAY, 2000 * 3600,
719 
           Calendar.SEPTEMBER, -1, Calendar.SATURDAY, 2000 * 3600);
720 
        timezones0.put("Asia/Ulaanbaatar", tz);
721 
        tz = new SimpleTimeZone
722 
          (9000 * 3600, "Asia/Choibalsan",
723 
           Calendar.MARCH, -1, Calendar.SATURDAY, 2000 * 3600,
724 
           Calendar.SEPTEMBER, -1, Calendar.SATURDAY, 2000 * 3600);
725 
        timezones0.put("Asia/Choibalsan", tz);
726 
        tz = new SimpleTimeZone(9000 * 3600, "JST");
727 
        timezones0.put("JST", tz);
728 
        timezones0.put("Asia/Dili", tz);
729 
        timezones0.put("Asia/Jayapura", tz);
730 
        timezones0.put("Asia/Pyongyang", tz);
731 
        timezones0.put("Asia/Seoul", tz);
732 
        timezones0.put("Asia/Tokyo", tz);
733 
        timezones0.put("Pacific/Palau", tz);
734 
        tz = new SimpleTimeZone
735 
          (9000 * 3600, "Asia/Yakutsk",
736 
           Calendar.MARCH, -1, Calendar.SUNDAY, 3000 * 3600,
737 
           Calendar.OCTOBER, -1, Calendar.SUNDAY, 3000 * 3600);
738 
        timezones0.put("Asia/Yakutsk", tz);
739 
        tz = new SimpleTimeZone
740 
          (9500 * 3600, "Australia/Adelaide",
741 
           Calendar.OCTOBER, -1, Calendar.SUNDAY, 3000 * 3600,
742 
           Calendar.MARCH, -1, Calendar.SUNDAY, 3000 * 3600);
743 
        timezones0.put("Australia/Adelaide", tz);
744 
        timezones0.put("Australia/Broken_Hill", tz);
745 
        tz = new SimpleTimeZone(9500 * 3600, "ACT");
746 
        timezones0.put("ACT", tz);
747 
        timezones0.put("Australia/Darwin", tz);
748 
        tz = new SimpleTimeZone(10000 * 3600, "Antarctica/DumontDUrville");
749 
        timezones0.put("Antarctica/DumontDUrville", tz);
750 
        timezones0.put("Australia/Brisbane", tz);
751 
        timezones0.put("Australia/Lindeman", tz);
752 
        timezones0.put("Pacific/Guam", tz);
753 
        timezones0.put("Pacific/Port_Moresby", tz);
754 
        timezones0.put("Pacific/Saipan", tz);
755 
        timezones0.put("Pacific/Truk", tz);
756 
        timezones0.put("Pacific/Yap", tz);
757 
        tz = new SimpleTimeZone
758 
          (10000 * 3600, "Asia/Sakhalin",
759 
           Calendar.MARCH, -1, Calendar.SUNDAY, 3000 * 3600,
760 
           Calendar.OCTOBER, -1, Calendar.SUNDAY, 3000 * 3600);
761 
        timezones0.put("Asia/Sakhalin", tz);
762 
        timezones0.put("Asia/Vladivostok", tz);
763 
        tz = new SimpleTimeZone
764 
          (10000 * 3600, "Australia/Hobart",
765 
           Calendar.OCTOBER, 1, Calendar.SUNDAY, 3000 * 3600,
766 
           Calendar.MARCH, -1, Calendar.SUNDAY, 3000 * 3600);
767 
        timezones0.put("Australia/Hobart", tz);
768 
        tz = new SimpleTimeZone
769 
          (10000 * 3600, "AET",
770 
           Calendar.OCTOBER, -1, Calendar.SUNDAY, 3000 * 3600,
771 
           Calendar.MARCH, -1, Calendar.SUNDAY, 3000 * 3600);
772 
        timezones0.put("AET", tz);
773 
        timezones0.put("Australia/Melbourne", tz);
774 
        timezones0.put("Australia/Sydney", tz);
775 
        tz = new SimpleTimeZone
776 
          (10500 * 3600, "Australia/Lord_Howe",
777 
          Calendar.OCTOBER, -1, Calendar.SUNDAY, 2000 * 3600,
778 
          Calendar.MARCH, -1, Calendar.SUNDAY, 2000 * 3600, 500 * 3600);
779 
        timezones0.put("Australia/Lord_Howe", tz);
780 
        tz = new SimpleTimeZone
781 
          (11000 * 3600, "Asia/Magadan",
782 
           Calendar.MARCH, -1, Calendar.SUNDAY, 3000 * 3600,
783 
           Calendar.OCTOBER, -1, Calendar.SUNDAY, 3000 * 3600);
784 
        timezones0.put("Asia/Magadan", tz);
785 
        tz = new SimpleTimeZone(11000 * 3600, "SST");
786 
        timezones0.put("SST", tz);
787 
        timezones0.put("Pacific/Efate", tz);
788 
        timezones0.put("Pacific/Guadalcanal", tz);
789 
        timezones0.put("Pacific/Kosrae", tz);
790 
        timezones0.put("Pacific/Noumea", tz);
791 
        timezones0.put("Pacific/Ponape", tz);
792 
        tz = new SimpleTimeZone(11500 * 3600, "Pacific/Norfolk");
793 
        timezones0.put("Pacific/Norfolk", tz);
794 
        tz = new SimpleTimeZone
795 
          (12000 * 3600, "NST",
796 
           Calendar.OCTOBER, 1, Calendar.SUNDAY, 3000 * 3600,
797 
           Calendar.MARCH, 3, Calendar.SUNDAY, 3000 * 3600);
798 
        timezones0.put("NST", tz);
799 
        timezones0.put("Antarctica/McMurdo", tz);
800 
        timezones0.put("Antarctica/South_Pole", tz);
801 
        timezones0.put("Pacific/Auckland", tz);
802 
        tz = new SimpleTimeZone
803 
          (12000 * 3600, "Asia/Anadyr",
804 
           Calendar.MARCH, -1, Calendar.SUNDAY, 3000 * 3600,
805 
           Calendar.OCTOBER, -1, Calendar.SUNDAY, 3000 * 3600);
806 
        timezones0.put("Asia/Anadyr", tz);
807 
        timezones0.put("Asia/Kamchatka", tz);
808 
        tz = new SimpleTimeZone(12000 * 3600, "Pacific/Fiji");
809 
        timezones0.put("Pacific/Fiji", tz);
810 
        timezones0.put("Pacific/Funafuti", tz);
811 
        timezones0.put("Pacific/Kwajalein", tz);
812 
        timezones0.put("Pacific/Majuro", tz);
813 
        timezones0.put("Pacific/Nauru", tz);
814 
        timezones0.put("Pacific/Tarawa", tz);
815 
        timezones0.put("Pacific/Wake", tz);
816 
        timezones0.put("Pacific/Wallis", tz);
817 
        tz = new SimpleTimeZone
818 
          (12750 * 3600, "Pacific/Chatham",
819 
           Calendar.OCTOBER, 1, Calendar.SUNDAY, 3750 * 3600,
820 
           Calendar.MARCH, 3, Calendar.SUNDAY, 3750 * 3600);
821 
        timezones0.put("Pacific/Chatham", tz);
822 
        tz = new SimpleTimeZone(13000 * 3600, "Pacific/Enderbury");
823 
        timezones0.put("Pacific/Enderbury", tz);
824 
        timezones0.put("Pacific/Tongatapu", tz);
825 
        tz = new SimpleTimeZone(14000 * 3600, "Pacific/Kiritimati");
826 
        timezones0.put("Pacific/Kiritimati", tz);
827 
      }
828 
    return timezones0;
829 
  }
830 
 
831 
  /**
832 
   * Maps a time zone name (with optional GMT offset and daylight time
833 
   * zone name) to one of the known time zones.  This method called
834 
   * with the result of <code>System.getProperty("user.timezone")</code>
835 
   * or <code>getDefaultTimeZoneId()</code>.  Note that giving one of
836 
   * the standard tz data names from ftp://elsie.nci.nih.gov/pub/ is
837 
   * preferred.
838 
   * The time zone name can be given as follows:
839 
   * <code>(standard zone name)[(GMT offset)[(DST zone name)[DST offset]]]
840 
   * </code>
841 
   * <p>
842 
   * If only a (standard zone name) is given (no numbers in the
843 
   * String) then it gets mapped directly to the TimeZone with that
844 
   * name, if that fails null is returned.
845 
   * <p>
846 
   * Alternately, a POSIX-style TZ string can be given, defining the time zone:
847 
   * <code>std offset dst offset,date/time,date/time</code>
848 
   * See the glibc manual, or the man page for <code>tzset</code> for details
849 
   * of this format.
850 
   * <p>
851 
   * A GMT offset is the offset to add to the local time to get GMT.
852 
   * If a (GMT offset) is included (either in seconds or hours) then
853 
   * an attempt is made to find a TimeZone name matching both the name
854 
   * and the offset (that doesn't observe daylight time, if the
855 
   * timezone observes daylight time then you must include a daylight
856 
   * time zone name after the offset), if that fails then a TimeZone
857 
   * with the given GMT offset is returned (whether or not the
858 
   * TimeZone observes daylight time is ignored), if that also fails
859 
   * the GMT TimeZone is returned.
860 
   * <p>
861 
   * If the String ends with (GMT offset)(daylight time zone name)
862 
   * then an attempt is made to find a TimeZone with the given name and
863 
   * GMT offset that also observes (the daylight time zone name is not
864 
   * currently used in any other way), if that fails a TimeZone with
865 
   * the given GMT offset that observes daylight time is returned, if
866 
   * that also fails the GMT TimeZone is returned.
867 
   * <p>
868 
   * Examples: In Chicago, the time zone id could be "CST6CDT", but
869 
   * the preferred name would be "America/Chicago".  In Indianapolis
870 
   * (which does not have Daylight Savings Time) the string could be
871 
   * "EST5", but the preferred name would be "America/Indianapolis".
872 
   * The standard time zone name for The Netherlands is "Europe/Amsterdam",
873 
   * but can also be given as "CET-1CEST".
874 
   */
875 
  static TimeZone getDefaultTimeZone(String sysTimeZoneId)
876 
  {
877 
    String stdName = null;
878 
    String dstName;
879 
    int stdOffs;
880 
    int dstOffs;
881 
    try
882 
      {
883 
        int idLength = sysTimeZoneId.length();
884 
 
885 
        int index = 0;
886 
        int prevIndex;
887 
        char c;
888 
 
889 
        // get std
890 
        do
891 
          c = sysTimeZoneId.charAt(index++);
892 
        while (c != '+' && c != '-' && c != ',' && c != ':'
893 
               && ! Character.isDigit(c) && c != '\0' && index < idLength);
894 
 
895 
        if (index >= idLength)
896 
          return (TimeZone)timezones().get(sysTimeZoneId);
897 
 
898 
        stdName = sysTimeZoneId.substring(0, --index);
899 
        prevIndex = index;
900 
 
901 
        // get the std offset
902 
        do
903 
          c = sysTimeZoneId.charAt(index++);
904 
        while ((c == '-' || c == '+' || c == ':' || Character.isDigit(c))
905 
               && index < idLength);
906 
        if (index < idLength)
907 
          index--;
908 
 
909 
        { // convert the dst string to a millis number
910 
            String offset = sysTimeZoneId.substring(prevIndex, index);
911 
            prevIndex = index;
912 
 
913 
            if (offset.charAt(0) == '+' || offset.charAt(0) == '-')
914 
              stdOffs = parseTime(offset.substring(1));
915 
            else
916 
              stdOffs = parseTime(offset);
917 
 
918 
            if (offset.charAt(0) == '-')
919 
              stdOffs = -stdOffs;
920 
 
921 
            // TZ timezone offsets are positive when WEST of the meridian.
922 
            stdOffs = -stdOffs;
923 
        }
924 
 
925 
        // Done yet? (Format: std offset)
926 
        if (index >= idLength)
927 
          {
928 
            // Do we have an existing timezone with that name and offset?
929 
            TimeZone tz = (TimeZone) timezones().get(stdName);
930 
            if (tz != null)
931 
              if (tz.getRawOffset() == stdOffs)
932 
                return tz;
933 
 
934 
            // Custom then.
935 
            return new SimpleTimeZone(stdOffs, stdName);
936 
          }
937 
 
938 
        // get dst
939 
        do
940 
          c = sysTimeZoneId.charAt(index++);
941 
        while (c != '+' && c != '-' && c != ',' && c != ':'
942 
               && ! Character.isDigit(c) && c != '\0' && index < idLength);
943 
 
944 
        // Done yet? (Format: std offset dst)
945 
        if (index >= idLength)
946 
          {
947 
            // Do we have an existing timezone with that name and offset
948 
            // which has DST?
949 
            TimeZone tz = (TimeZone) timezones().get(stdName);
950 
            if (tz != null)
951 
              if (tz.getRawOffset() == stdOffs && tz.useDaylightTime())
952 
                return tz;
953 
 
954 
            // Custom then.
955 
            return new SimpleTimeZone(stdOffs, stdName);
956 
          }
957 
 
958 
        // get the dst offset
959 
        dstName = sysTimeZoneId.substring(prevIndex, --index);
960 
        prevIndex = index;
961 
        do
962 
          c = sysTimeZoneId.charAt(index++);
963 
        while ((c == '-' || c == '+' || c == ':' || Character.isDigit(c))
964 
               && index < idLength);
965 
        if (index < idLength)
966 
          index--;
967 
 
968 
        { // convert the dst string to a millis number
969 
            String offset = sysTimeZoneId.substring(prevIndex, index);
970 
            prevIndex = index;
971 
 
972 
            if (offset.charAt(0) == '+' || offset.charAt(0) == '-')
973 
              dstOffs = parseTime(offset.substring(1));
974 
            else
975 
              dstOffs = parseTime(offset);
976 
 
977 
            if (offset.charAt(0) == '-')
978 
              dstOffs = -dstOffs;
979 
 
980 
            // TZ timezone offsets are positive when WEST of the meridian.
981 
            dstOffs = -dstOffs;
982 
        }
983 
 
984 
        // Done yet? (Format: std offset dst offset)
985 
        // FIXME: We don't support DST without a rule given. Should we?
986 
        if (index >= idLength)
987 
          {
988 
            // Time Zone existing with same name, dst and offsets?
989 
            TimeZone tz = (TimeZone) timezones().get(stdName);
990 
            if (tz != null)
991 
              if (tz.getRawOffset() == stdOffs && tz.useDaylightTime()
992 
                  && tz.getDSTSavings() == (dstOffs - stdOffs))
993 
                return tz;
994 
 
995 
            return new SimpleTimeZone(stdOffs, stdName);
996 
          }
997 
 
998 
        // get the DST rule
999 
        if (sysTimeZoneId.charAt(index) == ','
1000 
            || sysTimeZoneId.charAt(index) == ';')
1001 
          {
1002 
            index++;
1003 
            int offs = index;
1004 
            while (sysTimeZoneId.charAt(index) != ','
1005 
                   && sysTimeZoneId.charAt(index) != ';')
1006 
              index++;
1007 
            String startTime = sysTimeZoneId.substring(offs, index);
1008 
            index++;
1009 
            String endTime = sysTimeZoneId.substring(index);
1010 
 
1011 
            index = startTime.indexOf('/');
1012 
            int startMillis;
1013 
            int endMillis;
1014 
            String startDate;
1015 
            String endDate;
1016 
            if (index != -1)
1017 
              {
1018 
                startDate = startTime.substring(0, index);
1019 
                startMillis = parseTime(startTime.substring(index + 1));
1020 
              }
1021 
            else
1022 
              {
1023 
                startDate = startTime;
1024 
                // if time isn't given, default to 2:00:00 AM.
1025 
                startMillis = 2 * 60 * 60 * 1000;
1026 
              }
1027 
            index = endTime.indexOf('/');
1028 
            if (index != -1)
1029 
              {
1030 
                endDate = endTime.substring(0, index);
1031 
                endMillis = parseTime(endTime.substring(index + 1));
1032 
              }
1033 
            else
1034 
              {
1035 
                endDate = endTime;
1036 
                // if time isn't given, default to 2:00:00 AM.
1037 
                endMillis = 2 * 60 * 60 * 1000;
1038 
              }
1039 
 
1040 
            int[] start = getDateParams(startDate);
1041 
            int[] end = getDateParams(endDate);
1042 
            return new SimpleTimeZone(stdOffs, stdName, start[0], start[1],
1043 
                                      start[2], startMillis, end[0], end[1],
1044 
                                      end[2], endMillis, (dstOffs - stdOffs));
1045 
          }
1046 
      }
1047 
 
1048 
    // FIXME: Produce a warning here?
1049 
    catch (IndexOutOfBoundsException _)
1050 
      {
1051 
      }
1052 
    catch (NumberFormatException _)
1053 
      {
1054 
      }
1055 
 
1056 
    return null;
1057 
  }
1058 
 
1059 
  /**
1060 
   * Parses and returns the params for a POSIX TZ date field,
1061 
   * in the format int[]{ month, day, dayOfWeek }, following the
1062 
   * SimpleTimeZone constructor rules.
1063 
   */
1064 
  private static int[] getDateParams(String date)
1065 
  {
1066 
    int[] dayCount = { 0, 31, 59, 90, 120, 151, 181, 212, 243, 273, 304, 334 };
1067 
    int month;
1068 
 
1069 
    if (date.charAt(0) == 'M' || date.charAt(0) == 'm')
1070 
      {
1071 
        int day;
1072 
 
1073 
        // Month, week of month, day of week
1074 
        month = Integer.parseInt(date.substring(1, date.indexOf('.')));
1075 
        int week = Integer.parseInt(date.substring(date.indexOf('.') + 1,
1076 
                                                   date.lastIndexOf('.')));
1077 
        int dayOfWeek = Integer.parseInt(date.substring(date.lastIndexOf('.')
1078 
                                                        + 1));
1079 
        if (week == 5)
1080 
          day = -1; // last day of month is -1 in java, 5 in TZ
1081 
        else
1082 
          // first day of week starting on or after.
1083 
          day = (week - 1) * 7 + 1;
1084 
 
1085 
        dayOfWeek++; // Java day of week is one-based, Sunday is first day.
1086 
        month--; // Java month is zero-based.
1087 
        return new int[] { month, day, dayOfWeek };
1088 
      }
1089 
 
1090 
    // julian day, either zero-based 0<=n<=365 (incl feb 29)
1091 
    // or one-based 1<=n<=365 (no feb 29)
1092 
    int julianDay; // Julian day,
1093 
 
1094 
    if (date.charAt(0) != 'J' || date.charAt(0) != 'j')
1095 
      {
1096 
        julianDay = Integer.parseInt(date.substring(1));
1097 
        julianDay++; // make 1-based
1098 
        // Adjust day count to include feb 29.
1099 
        dayCount = new int[]
1100 
                   {
1101 
                     0, 31, 60, 91, 121, 152, 182, 213, 244, 274, 305, 335
1102 
                   };
1103 
      }
1104 
    else
1105 
      // 1-based julian day
1106 
      julianDay = Integer.parseInt(date);
1107 
 
1108 
    int i = 11;
1109 
    while (i > 0)
1110 
      if (dayCount[i] < julianDay)
1111 
        break;
1112 
      else
1113 
        i--;
1114 
    julianDay -= dayCount[i];
1115 
    month = i;
1116 
    return new int[] { month, julianDay, 0 };
1117 
  }
1118 
 
1119 
  /**
1120 
   * Parses a time field hh[:mm[:ss]], returning the result
1121 
   * in milliseconds. No leading sign.
1122 
   */
1123 
  private static int parseTime(String time)
1124 
  {
1125 
    int millis = 0;
1126 
    int i = 0;
1127 
 
1128 
    while (i < time.length())
1129 
      if (time.charAt(i) == ':')
1130 
        break;
1131 
      else
1132 
        i++;
1133 
    millis = 60 * 60 * 1000 * Integer.parseInt(time.substring(0, i));
1134 
    if (i >= time.length())
1135 
      return millis;
1136 
 
1137 
    int iprev = ++i;
1138 
    while (i < time.length())
1139 
      if (time.charAt(i) == ':')
1140 
        break;
1141 
      else
1142 
        i++;
1143 
    if (i >= time.length())
1144 
      return millis;
1145 
 
1146 
    millis += 60 * 1000 * Integer.parseInt(time.substring(iprev, i));
1147 
    millis += 1000 * Integer.parseInt(time.substring(++i));
1148 
    return millis;
1149 
  }
1150 
 
1151 
  /**
1152 
   * Gets the time zone offset, for current date, modified in case of
1153 
   * daylight savings.  This is the offset to add to UTC to get the local
1154 
   * time.
1155 
   * @param era the era of the given date
1156 
   * @param year the year of the given date
1157 
   * @param month the month of the given date, 0 for January.
1158 
   * @param day the day of month
1159 
   * @param dayOfWeek the day of week
1160 
   * @param milliseconds the millis in the day (in local standard time)
1161 
   * @return the time zone offset in milliseconds.
1162 
   */
1163 
  public abstract int getOffset(int era, int year, int month,
1164 
                                int day, int dayOfWeek, int milliseconds);
1165 
 
1166 
  /**
1167 
   * Get the time zone offset for the specified date, modified in case of
1168 
   * daylight savings.  This is the offset to add to UTC to get the local
1169 
   * time.
1170 
   * @param date the date represented in millisecends
1171 
   * since January 1, 1970 00:00:00 GMT.
1172 
   * @since 1.4
1173 
   */
1174 
  public int getOffset(long date)
1175 
  {
1176 
    return (inDaylightTime(new Date(date))
1177 
            ? getRawOffset() + getDSTSavings()
1178 
            : getRawOffset());
1179 
  }
1180 
 
1181 
  /**
1182 
   * Gets the time zone offset, ignoring daylight savings.  This is
1183 
   * the offset to add to UTC to get the local time.
1184 
   * @return the time zone offset in milliseconds.
1185 
   */
1186 
  public abstract int getRawOffset();
1187 
 
1188 
  /**
1189 
   * Sets the time zone offset, ignoring daylight savings.  This is
1190 
   * the offset to add to UTC to get the local time.
1191 
   * @param offsetMillis the time zone offset to GMT.
1192 
   */
1193 
  public abstract void setRawOffset(int offsetMillis);
1194 
 
1195 
  /**
1196 
   * Gets the identifier of this time zone. For instance, PST for
1197 
   * Pacific Standard Time.
1198 
   * @returns the ID of this time zone.
1199 
   */
1200 
  public String getID()
1201 
  {
1202 
    return ID;
1203 
  }
1204 
 
1205 
  /**
1206 
   * Sets the identifier of this time zone. For instance, PST for
1207 
   * Pacific Standard Time.
1208 
   * @param id the new time zone ID.
1209 
   * @throws NullPointerException if <code>id</code> is <code>null</code>
1210 
   */
1211 
  public void setID(String id)
1212 
  {
1213 
    if (id == null)
1214 
      throw new NullPointerException();
1215 
 
1216 
    this.ID = id;
1217 
  }
1218 
 
1219 
  /**
1220 
   * This method returns a string name of the time zone suitable
1221 
   * for displaying to the user.  The string returned will be the long
1222 
   * description of the timezone in the current locale.  The name
1223 
   * displayed will assume daylight savings time is not in effect.
1224 
   *
1225 
   * @return The name of the time zone.
1226 
   */
1227 
  public final String getDisplayName()
1228 
  {
1229 
    return (getDisplayName(false, LONG, Locale.getDefault()));
1230 
  }
1231 
 
1232 
  /**
1233 
   * This method returns a string name of the time zone suitable
1234 
   * for displaying to the user.  The string returned will be the long
1235 
   * description of the timezone in the specified locale. The name
1236 
   * displayed will assume daylight savings time is not in effect.
1237 
   *
1238 
   * @param locale The locale for this timezone name.
1239 
   *
1240 
   * @return The name of the time zone.
1241 
   */
1242 
  public final String getDisplayName(Locale locale)
1243 
  {
1244 
    return (getDisplayName(false, LONG, locale));
1245 
  }
1246 
 
1247 
  /**
1248 
   * This method returns a string name of the time zone suitable
1249 
   * for displaying to the user.  The string returned will be of the
1250 
   * specified type in the current locale.
1251 
   *
1252 
   * @param dst Whether or not daylight savings time is in effect.
1253 
   * @param style <code>LONG</code> for a long name, <code>SHORT</code> for
1254 
   * a short abbreviation.
1255 
   *
1256 
   * @return The name of the time zone.
1257 
   */
1258 
  public final String getDisplayName(boolean dst, int style)
1259 
  {
1260 
    return (getDisplayName(dst, style, Locale.getDefault()));
1261 
  }
1262 
 
1263 
 
1264 
  /**
1265 
   * This method returns a string name of the time zone suitable
1266 
   * for displaying to the user.  The string returned will be of the
1267 
   * specified type in the specified locale.
1268 
   *
1269 
   * @param dst Whether or not daylight savings time is in effect.
1270 
   * @param style <code>LONG</code> for a long name, <code>SHORT</code> for
1271 
   * a short abbreviation.
1272 
   * @param locale The locale for this timezone name.
1273 
   *
1274 
   * @return The name of the time zone.
1275 
   */
1276 
  public String getDisplayName(boolean dst, int style, Locale locale)
1277 
  {
1278 
    DateFormatSymbols dfs;
1279 
    try
1280 
      {
1281 
        dfs = new DateFormatSymbols(locale);
1282 
 
1283 
        // The format of the value returned is defined by us.
1284 
        String[][]zoneinfo = dfs.getZoneStrings();
1285 
        for (int i = 0; i < zoneinfo.length; i++)
1286 
          {
1287 
            if (zoneinfo[i][0].equals(getID()))
1288 
              {
1289 
                if (!dst)
1290 
                  {
1291 
                    if (style == SHORT)
1292 
                      return (zoneinfo[i][2]);
1293 
                    else
1294 
                      return (zoneinfo[i][1]);
1295 
                  }
1296 
                else
1297 
                  {
1298 
                    if (style == SHORT)
1299 
                      return (zoneinfo[i][4]);
1300 
                    else
1301 
                      return (zoneinfo[i][3]);
1302 
                  }
1303 
              }
1304 
          }
1305 
      }
1306 
    catch (MissingResourceException e)
1307 
      {
1308 
      }
1309 
 
1310 
    return getDefaultDisplayName(dst);
1311 
  }
1312 
 
1313 
  private String getDefaultDisplayName(boolean dst)
1314 
  {
1315 
    int offset = getRawOffset();
1316 
    if (dst && this instanceof SimpleTimeZone)
1317 
      {
1318 
        // ugly, but this is a design failure of the API:
1319 
        // getDisplayName takes a dst parameter even though
1320 
        // TimeZone knows nothing about daylight saving offsets.
1321 
        offset += ((SimpleTimeZone) this).getDSTSavings();
1322 
      }
1323 
 
1324 
    StringBuffer sb = new StringBuffer(9);
1325 
    sb.append("GMT");
1326 
 
1327 
    offset = offset / (1000 * 60);
1328 
    int hours = Math.abs(offset) / 60;
1329 
    int minutes = Math.abs(offset) % 60;
1330 
 
1331 
    if (minutes != 0 || hours != 0)
1332 
      {
1333 
        sb.append(offset >= 0 ? '+' : '-');
1334 
        sb.append((char) ('0' + hours / 10));
1335 
        sb.append((char) ('0' + hours % 10));
1336 
        sb.append(':');
1337 
        sb.append((char) ('0' + minutes / 10));
1338 
        sb.append((char) ('0' + minutes % 10));
1339 
      }
1340 
 
1341 
    return sb.toString();
1342 
  }
1343 
 
1344 
  /**
1345 
   * Returns true, if this time zone uses Daylight Savings Time.
1346 
   */
1347 
  public abstract boolean useDaylightTime();
1348 
 
1349 
  /**
1350 
   * Returns true, if the given date is in Daylight Savings Time in this
1351 
   * time zone.
1352 
   * @param date the given Date.
1353 
   */
1354 
  public abstract boolean inDaylightTime(Date date);
1355 
 
1356 
  /**
1357 
   * Gets the daylight savings offset.  This is a positive offset in
1358 
   * milliseconds with respect to standard time.  Typically this
1359 
   * is one hour, but for some time zones this may be half an our.
1360 
   * <p>The default implementation returns 3600000 milliseconds
1361 
   * (one hour) if the time zone uses daylight savings time
1362 
   * (as specified by {@link #useDaylightTime()}), otherwise
1363 
   * it returns 0.
1364 
   * @return the daylight savings offset in milliseconds.
1365 
   * @since 1.4
1366 
   */
1367 
  public int getDSTSavings ()
1368 
  {
1369 
    return useDaylightTime () ? 3600000 : 0;
1370 
  }
1371 
 
1372 
  /**
1373 
   * Gets the TimeZone for the given ID.
1374 
   * @param ID the time zone identifier.
1375 
   * @return The time zone for the identifier or GMT, if no such time
1376 
   * zone exists.
1377 
   */
1378 
  // FIXME: XXX: JCL indicates this and other methods are synchronized.
1379 
  public static TimeZone getTimeZone(String ID)
1380 
  {
1381 
    // First check timezones hash
1382 
    TimeZone tz = (TimeZone) timezones().get(ID);
1383 
    if (tz != null)
1384 
      {
1385 
        if (tz.getID().equals(ID))
1386 
          return tz;
1387 
 
1388 
        // We always return a timezone with the requested ID.
1389 
        // This is the same behaviour as with JDK1.2.
1390 
        tz = (TimeZone) tz.clone();
1391 
        tz.setID(ID);
1392 
        // We also save the alias, so that we return the same
1393 
        // object again if getTimeZone is called with the same
1394 
        // alias.
1395 
        timezones().put(ID, tz);
1396 
        return tz;
1397 
      }
1398 
 
1399 
    // See if the ID is really a GMT offset form.
1400 
    // Note that GMT is in the table so we know it is different.
1401 
    if (ID.startsWith("GMT"))
1402 
      {
1403 
        int pos = 3;
1404 
        int offset_direction = 1;
1405 
 
1406 
        if (ID.charAt(pos) == '-')
1407 
          {
1408 
            offset_direction = -1;
1409 
            pos++;
1410 
          }
1411 
        else if (ID.charAt(pos) == '+')
1412 
          {
1413 
            pos++;
1414 
          }
1415 
 
1416 
        try
1417 
          {
1418 
            int hour, minute;
1419 
 
1420 
            String offset_str = ID.substring(pos);
1421 
            int idx = offset_str.indexOf(":");
1422 
            if (idx != -1)
1423 
              {
1424 
                hour = Integer.parseInt(offset_str.substring(0, idx));
1425 
                minute = Integer.parseInt(offset_str.substring(idx + 1));
1426 
              }
1427 
            else
1428 
              {
1429 
                int offset_length = offset_str.length();
1430 
                if (offset_length <= 2)
1431 
                  {
1432 
                    // Only hour
1433 
                    hour = Integer.parseInt(offset_str);
1434 
                    minute = 0;
1435 
                  }
1436 
                else
1437 
                  {
1438 
                    // hour and minute, not separated by colon
1439 
                    hour = Integer.parseInt
1440 
                      (offset_str.substring(0, offset_length - 2));
1441 
                    minute = Integer.parseInt
1442 
                      (offset_str.substring(offset_length - 2));
1443 
                  }
1444 
              }
1445 
 
1446 
            return new SimpleTimeZone((hour * (60 * 60 * 1000) +
1447 
                                       minute * (60 * 1000))
1448 
                                      * offset_direction, ID);
1449 
          }
1450 
        catch (NumberFormatException e)
1451 
          {
1452 
          }
1453 
      }
1454 
 
1455 
    // Finally, return GMT per spec
1456 
    return getTimeZone("GMT");
1457 
  }
1458 
 
1459 
  /**
1460 
   * Gets the available IDs according to the given time zone
1461 
   * offset.
1462 
   * @param rawOffset the given time zone GMT offset.
1463 
   * @return An array of IDs, where the time zone has the specified GMT
1464 
   * offset. For example <code>{"Phoenix", "Denver"}</code>, since both have
1465 
   * GMT-07:00, but differ in daylight savings behaviour.
1466 
   */
1467 
  public static String[] getAvailableIDs(int rawOffset)
1468 
  {
1469 
    int count = 0;
1470 
    Iterator iter = timezones().entrySet().iterator();
1471 
    while (iter.hasNext())
1472 
      {
1473 
        // Don't iterate the values, since we want to count
1474 
        // doubled values (aliases)
1475 
        Map.Entry entry = (Map.Entry) iter.next();
1476 
        if (((TimeZone) entry.getValue()).getRawOffset() == rawOffset)
1477 
          count++;
1478 
      }
1479 
 
1480 
    String[] ids = new String[count];
1481 
    count = 0;
1482 
    iter = timezones().entrySet().iterator();
1483 
    while (iter.hasNext())
1484 
      {
1485 
        Map.Entry entry = (Map.Entry) iter.next();
1486 
        if (((TimeZone) entry.getValue()).getRawOffset() == rawOffset)
1487 
          ids[count++] = (String) entry.getKey();
1488 
      }
1489 
    return ids;
1490 
  }
1491 
 
1492 
  /**
1493 
   * Gets all available IDs.
1494 
   * @return An array of all supported IDs.
1495 
   */
1496 
  public static String[] getAvailableIDs()
1497 
  {
1498 
    return (String[])
1499 
      timezones().keySet().toArray(new String[timezones().size()]);
1500 
  }
1501 
 
1502 
  /**
1503 
   * Returns the time zone under which the host is running.  This
1504 
   * can be changed with setDefault.
1505 
   *
1506 
   * @return A clone of the current default time zone for this host.
1507 
   * @see #setDefault
1508 
   */
1509 
  public static TimeZone getDefault()
1510 
  {
1511 
    return (TimeZone) defaultZone().clone();
1512 
  }
1513 
 
1514 
  public static void setDefault(TimeZone zone)
1515 
  {
1516 
    // Hmmmm. No Security checks?
1517 
    defaultZone0 = zone;
1518 
  }
1519 
 
1520 
  /**
1521 
   * Test if the other time zone uses the same rule and only
1522 
   * possibly differs in ID.  This implementation for this particular
1523 
   * class will return true if the raw offsets are identical.  Subclasses
1524 
   * should override this method if they use daylight savings.
1525 
   * @return true if this zone has the same raw offset
1526 
   */
1527 
  public boolean hasSameRules(TimeZone other)
1528 
  {
1529 
    return other.getRawOffset() == getRawOffset();
1530 
  }
1531 
 
1532 
  /**
1533 
   * Returns a clone of this object.  I can't imagine, why this is
1534 
   * useful for a time zone.
1535 
   */
1536 
  public Object clone()
1537 
  {
1538 
    try
1539 
      {
1540 
        return super.clone();
1541 
      }
1542 
    catch (CloneNotSupportedException ex)
1543 
      {
1544 
        return null;
1545 
      }
1546 
  }
1547 
}

powered by: WebSVN 2.1.0

© copyright 1999-2025 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.