void setBatch(Batch batch) {
if (batches.size() == savedBatches) {
batches.remove(savedBatches - 1);
}
if (batch.getLastRow() != -1) {
this.lastRowNumber = batch.getLastRow();
this.highestRowNumber = batch.getLastRow();
} else {
highestRowNumber = Math.max(batch.getEndRow(), highestRowNumber);
tailLast = batch.isLast();
}
this.batches.add(0, batch);
}
