}

    /**
     * Adds to the total processing time of this document list.
     *
     * @param processingTime the processing time to add in milliseconds
     */
    public void addProcessingTime(final long processingTime) {
        this.processingTime += processingTime;
    }

    /**
     * Returns a string representation of this DocList including metrics and content.
     *