return zoneGMT;
int i; for (i = 0; i < tzIDs.length; ++i) { if (ID.equals(tzIDs[i])) break; } if (i == tzIDs.length) return null;  if (timeZones[i] == null) { if (ID.equals("GMT")) timeZones[i] = zoneGMT; else timeZones[i] = new SimpleTimeZone (rawOffsets[i], tzIDs[i]); }  return timeZones[i];
  public static TimeZone getTimeZone (String ID)  {    return zoneGMT;  // FIXME  }