public synchronized int hashCode()
public int hashCode()
  public synchronized int hashCode()  {        // This method is synchronized because writeObject() might reset        // the hashcode.        return hashcode;    }