}

    public void setAppendHighlightParams(final String appendHighlightParams) {
        this.appendHighlightParams = appendHighlightParams;
    }

    public void setExecTime(final String execTime) {
        this.execTime = execTime;
    }

    public void setPageSize(final int pageSize) {
        this.pageSize = pageSize;
    }

    public void setCurrentPageNumber(final int currentPageNumber) {