}

    /**
     * Gets the server type of this referral.
     *
     * @return the serverType
     */
    public final int getServerType() {
        return this.serverType;
    }

    /**
     * Gets the referral flags.
     *
     * @return the rflags
     */
    public final int getRFlags() {
        return this.rflags;
    }

    /**

    @Nonnull
    String getSource();

    /**
     * Gets the one-based index of the line containing the problem. The line number should refer to some text file that
     * is given by {@link #getSource()}.
     *
     * @return the one-based index of the line containing the problem or a non-positive value if unknown
     */
    int getLineNumber();

    /**

        sessionId = null;
        createdTime = null;

    }

    /**
     * Gets the default current page number.
     *
     * @return the default current page number (1)
     */
    protected int getDefaultCurrentPageNumber() {
        return DEFAULT_CURRENT_PAGE_NUMBER;
    }

    /**
     * Gets the total number of records across all pages.
     *
     * @return the total record count
     */

        errorCountMax = null;
        errorName = null;

    }

    /**
     * Gets the default current page number.
     *
     * @return the default current page number
     */
    protected int getDefaultCurrentPageNumber() {
        return DEFAULT_CURRENT_PAGE_NUMBER;
    }

    /**
     * Gets the total number of records across all pages.
     *
     * @return the total record count
     */

    }

    /**
     * Gets the new lease state after the break
     * @return the new lease state
     */
    public int getNewLeaseState() {
        return newLeaseState;
    }

    /**
     * Gets the reason for the lease break
     * @return the break reason
     */
    public int getBreakReason() {
        return breakReason;
    }

    /**
     * Gets the lease flags from the notification

        createdTime = null;
        versionNo = null;

    }

    /**
     * Gets the default current page number.
     * @return The default current page number.
     */
    protected int getDefaultCurrentPageNumber() {
        return DEFAULT_CURRENT_PAGE_NUMBER;
    }

    /**
     * Gets the total number of records.
     * @return The total number of records.
     */

        groups = null;
        versionNo = null;

    }

    /**
     * Gets the default current page number.
     *
     * @return the default current page number
     */
    protected int getDefaultCurrentPageNumber() {
        return DEFAULT_CURRENT_PAGE_NUMBER;
    }

    /**
     * Gets the total number of records.
     *
     * @return the total record count
     */

        createdTime = null;
        versionNo = null;

    }

    /**
     * Gets the default current page number.
     *
     * @return the default current page number
     */
    protected int getDefaultCurrentPageNumber() {
        return DEFAULT_CURRENT_PAGE_NUMBER;
    }

    /**
     * Gets the total number of records available.
     *
     * @return the total record count
     */

        this.newOutputs = newOutputs;
    }

    /**
     * Gets the original input words.
     * Returns a defensive copy to prevent external modification.
     *
     * @return The original input words (defensive copy).
     */
    public String[] getInputs() {
        return inputs == null ? null : inputs.clone();
    }

    /**
     * Gets the input words as a newline-separated string.
     *

    boolean haveCapabilitiy(int cap);

    /**
     * Gets the negotiated send buffer size.
     *
     * @return the send buffer size
     */
    int getSendBufferSize();

    /**
     * Gets the negotiated receive buffer size.
     *
     * @return the receive buffer size
     */
    int getReceiveBufferSize();

    /**
     * Gets the negotiated maximum transaction buffer size.
     *