/** Overridden from RequestInfoImpl. */
  protected void setException(Exception exception) {
    super.setException(exception);

    // Clear cached values:
    cachedReceivedException = null;
    cachedReceivedExceptionId = null;
  }
  /** Sets the exception to be returned by received_exception and received_exception_id. */
  protected void setException(Exception exception) {
    super.setException(exception);

    // Make sure DSIException is null because this is the more recent one.
    this.dsiException = null;

    // Clear cached exception value:
    cachedSendingException = null;
  }