}

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

    /**
     * Sets the list of page numbers to display in pagination navigation.
     *
     * @param pageNumberList the list of page numbers to set
     */

    }

    /**
     * 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 to set
     */

 *
 * This class provides pagination functionality for displaying stemmer override
 * dictionary entries in the administrative interface. It manages page state,
 * navigation controls, and provides methods for calculating page boundaries
 * and navigation elements.
 */
public class StemmerOverridePager implements Serializable {

    private static final long serialVersionUID = 1L;

/**
 * Suggestor - jQuery plugin for search autocomplete functionality
 * Provides real-time search suggestions with keyboard and mouse navigation
 */
(function ($) {
  "use strict";

  // Key code constants for better readability
  var KEY_CODES = {
    BACKSPACE: 8,
    ENTER: 13,
    SPACE: 32,
    UP: 38,
    DOWN: 40,
    DELETE: 46,
    NUM_0: 48,
    NUM_9: 57,
    A: 65,
    Z: 90,
    NUMPAD_0: 96,

    protected long currentStartRecordNumber;

    /** Ending record number for the current page. */
    protected long currentEndRecordNumber;

    /** List of page numbers for pagination navigation. */
    protected List<String> pageNumberList;

    /** Flag indicating whether the results are partial due to timeout or other issues. */
    protected boolean partialResults;

    }

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

    }

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

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

    }

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

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

    }

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

    }

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