/**
   * Mask value for indexing into segments. The upper bits of a key's hash code are used to choose
   * the segment.
   */
  final int segmentMask;

  /**
   * Shift value for indexing within segments. Helps prevent entries that end up in the same segment
   * from also ending up in the same bucket.
   */
  final int segmentShift;

  /** The segments, each of which is a specialized hash table. */

  /**
   * Mask value for indexing into segments. The upper bits of a key's hash code are used to choose
   * the segment.
   */
  final int segmentMask;

  /**
   * Shift value for indexing within segments. Helps prevent entries that end up in the same segment
   * from also ending up in the same bucket.
   */
  final int segmentShift;

  /** The segments, each of which is a specialized hash table. */

    /** The key of the message: Options */
    public static final String LABELS_index_form_option_btn = "{labels.index_form_option_btn}";

    /** The key of the message: Help */
    public static final String LABELS_index_help = "{labels.index_help}";

    /** The key of the message: Search Options */
    public static final String LABELS_search_options = "{labels.search_options}";