/** Statistics report type parameter name. */
    public static final String STATS_REPORT_TYPE = "reportType";

    /** Result document ID cache key. */
    public static final String RESULT_DOC_ID_CACHE = "resultDocIds";

    /** System name for crawling information. */
    public static final String CRAWLING_INFO_SYSTEM_NAME = "system";

    // ============================================================
    // View Parameters