}

    /**
     * Sets the name of the user identification cookie.
     *
     * @param cookieName the name to use for the user identification cookie
     */
    public void setCookieName(final String cookieName) {
        this.cookieName = cookieName;
    }

    /**
     * Sets the domain for the user identification cookie.
     *

    }

    @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");
        userInfoHelper.setCookieSecure(true);