}

    /**
     * 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.
     *

        assertEquals(0, docIds.length);
    }

    @Test
    public void test_setters() {
        UserInfoHelper userInfoHelper = new UserInfoHelper();

        userInfoHelper.setResultDocIdsCacheSize(50);
        userInfoHelper.setCookieName("testCookie");
        userInfoHelper.setCookieDomain("example.com");
        userInfoHelper.setCookieMaxAge(3600);
        userInfoHelper.setCookiePath("/test");