}

    /**
     * Sets the maximum size of the result document IDs cache.
     *
     * @param resultDocIdsCacheSize the maximum number of entries in the cache
     */
    public void setResultDocIdsCacheSize(final int resultDocIdsCacheSize) {
        this.resultDocIdsCacheSize = resultDocIdsCacheSize;
    }

    /**
     * Sets the name of the user identification cookie.
     *