hash ^= numberFormat.hashCode(); return hash;
return numberFormat.hashCode(); else return 0;
  public int hashCode ()  {    int hash = calendar.hashCode();    if (numberFormat != null)      hash ^= numberFormat.hashCode();    return hash;  }