/** The key of the message: ({0} seconds) */
    public static final String LABELS_search_result_time = "{labels.search_result_time}";

    /** The key of the message: Prev */
    public static final String LABELS_prev_page = "{labels.prev_page}";

    /** The key of the message: Next */
    public static final String LABELS_next_page = "{labels.next_page}";

    /** The key of the configuration. e.g. fvh */
    String QUERY_HIGHLIGHT_TYPE = "query.highlight.type";

    /** The key of the configuration. e.g. <strong> */
    String QUERY_HIGHLIGHT_TAG_PRE = "query.highlight.tag.pre";

    /** The key of the configuration. e.g. </strong> */
    String QUERY_HIGHLIGHT_TAG_POST = "query.highlight.tag.post";

    /** The key of the configuration. e.g. u0009u000Au0013u0020 */