/**
     * Sets the current page number (1-based).
     *
     * @param currentPageNumber The current page number to set
     */
    public void setCurrentPageNumber(final int currentPageNumber) {
        this.currentPageNumber = currentPageNumber;
    }

    /**
     * Gets the list of page numbers for navigation display.
     *
     * @return The list of page numbers
     */

    }

    /**
     * Gets the list of page numbers for pagination navigation.
     * @return The list of page numbers.
     */
    public List<Integer> getPageNumberList() {
        return pageNumberList;
    }

    /**
     * Sets the list of page numbers for pagination navigation.
     * @param pageNumberList The list of page numbers.
     */

    }

    /**
     * Sets the number of records to display per page.
     *
     * @param pageSize the page size to set
     */
    public void setPageSize(final int pageSize) {
        this.pageSize = pageSize;
    }

    /**
     * Gets the current page number (1-based).
     * If the current page number is not set or is invalid (≤0), returns the default page number.
     *

    }

    /**
     * Sets the current page number to display.
     *
     * @param currentPageNumber current page number
     */
    public void setCurrentPageNumber(final int currentPageNumber) {
        this.currentPageNumber = currentPageNumber;
    }

    /**
     * Gets the list of page numbers for pagination navigation.
     *
     * @return list of page numbers
     */

    /**
     * Sets the current page number being displayed.
     *
     * @param currentPageNumber the current page number
     */
    public void setCurrentPageNumber(final int currentPageNumber) {
        this.currentPageNumber = currentPageNumber;
    }

    /**
     * Gets the list of page numbers for pagination navigation.
     *
     * @return the list of page numbers
     */

    }

    /**
     * Sets the current page number.
     *
     * @param currentPageNumber the current page number
     */
    public void setCurrentPageNumber(final int currentPageNumber) {
        this.currentPageNumber = currentPageNumber;
    }

    /**
     * Gets the list of page numbers for pagination display.
     *
     * @return the list of page numbers
     */

    }

    /**
     * Sets the list of page numbers for pagination navigation.
     *
     * @param pageNumberList the list of page numbers to set
     */
    public void setPageNumberList(final List<Integer> pageNumberList) {
        this.pageNumberList = pageNumberList;
    }

    /**
     * Gets the default current page number from system constants.
     *

    }

    /**
     * Sets the current page number (1-based).
     *
     * @param currentPageNumber the current page number
     */
    public void setCurrentPageNumber(final int currentPageNumber) {
        this.currentPageNumber = currentPageNumber;
    }

    /**
     * Gets the list of page numbers for navigation.
     *
     * @return the list of page numbers
     */

import org.codelibs.core.lang.StringUtil;

/**
 * Converter for numbers.
 *
 * @author higa
 */
public class NumberConverter implements Converter {

    /**
     * The pattern for numbers.
     */
    protected String pattern;

    /**
     * Constructs an instance.
     *
     * @param pattern
     *            the pattern for numbers
     */
    public NumberConverter(final String pattern) {

    /**
     * Sets the current page number being displayed.
     *
     * @param currentPageNumber the current page number
     */
    public void setCurrentPageNumber(final int currentPageNumber) {
        this.currentPageNumber = currentPageNumber;
    }

    /**
     * Gets the list of page numbers for pagination navigation.
     *
     * @return the list of page numbers
     */