/**
     * Gets the number of records to display per page.
     * If not set or invalid, returns the default page size.
     *
     * @return the page size
     */
    public int getPageSize() {
        if (pageSize <= 0) {
            pageSize = getDefaultPageSize();
        }
        return pageSize;
    }

    /**
     * Sets the number of records to display per page.
     *

        this.existNextPage = existNextPage;
    }

    /**
     * Gets the number of items per page.
     * If the page size is not set or is zero or negative, returns the default page size.
     *
     * @return the number of items per page
     */
    public int getPageSize() {
        if (pageSize <= 0) {
            pageSize = getDefaultPageSize();
        }

     * Gets the page size.
     *
     * @return The number of records per page
     */
    public int getPageSize() {
        if (pageSize <= 0) {
            pageSize = getDefaultPageSize();
        }
        return pageSize;
    }

    /**
     * Sets the page size.
     *
     * @param pageSize The number of records per page
     */
    public void setPageSize(final int pageSize) {

    }

    /**
     * Gets the number of records per page.
     * If not set or invalid, returns the default page size.
     *
     * @return the page size
     */
    public int getPageSize() {
        if (pageSize <= 0) {
            pageSize = getDefaultPageSize();
        }
        return pageSize;
    }

    /**
     * Sets the number of records per page.
     *
     * @param pageSize the page size

page.user.max.fetch.size=1000
# Maximum number of role records to fetch per page.
page.role.max.fetch.size=1000
# Maximum number of group records to fetch per page.
page.group.max.fetch.size=1000
# Maximum number of crawling info parameters to fetch per page.
page.crawling.info.param.max.fetch.size=100
# Maximum number of crawling info records to fetch per page.
page.crawling.info.max.fetch.size=1000

    /**
     * Gets the number of records to display per page.
     * If not set or invalid, returns the default page size.
     *
     * @return The page size
     */
    public int getPageSize() {
        if (pageSize <= 0) {
            pageSize = getDefaultPageSize();
        }
        return pageSize;
    }

    /**
     * Sets the number of records to display per page.
     *

    protected String appendHighlightParams;

    /** Formatted execution time for the search request. */
    protected String execTime;

    /** Number of results per page. */
    protected int pageSize;

    /** Current page number being displayed. */
    protected int currentPageNumber;

    /** Total number of records matching the search query. */

     * Creates a new instance with default values.
     */
    public FileAuthPager() {
        // Default constructor
    }

    /** The default number of records to display per page. */
    public static final int DEFAULT_PAGE_SIZE = 20;

    /** The default current page number (1-based). */
    public static final int DEFAULT_CURRENT_PAGE_NUMBER = 1;

    private boolean existNextPage;

    /**
     * The list of page numbers to display in the pagination component.
     */
    private List<Integer> pageNumberList;

    /**
     * The number of records to display per page.
     */
    private int pageSize;

    /**
     * The current page number (1-based) for pagination.
     */
    private int currentPageNumber;

    /**
     * Crawling information ID.
     */

     * Get the value for the key 'suggest.update.doc.per.request'. <br>
     * The value is, e.g. 2 <br>
     * comment: Number of documents per suggestion update request.
     * @return The value of found property. (NotNull: if not found, exception but basically no way)
     */
    String getSuggestUpdateDocPerRequest();

    /**
     * Get the value for the key 'suggest.update.doc.per.request' as {@link Integer}. <br>