fmt.setTimeZone(TimeZone.zoneGMT);
fmt.setTimeZone(TimeZone.getTimeZone("GMT"));
  public String toGMTString ()  {    // This method is deprecated.  We don't care if it is very slow.    SimpleDateFormat fmt = new SimpleDateFormat ("d MMM yyyy HH:mm:ss 'GMT'",						 Locale.US);    fmt.setTimeZone(TimeZone.zoneGMT);    return fmt.format(this);  }