Record[] rec = new Record[lst.size()];
for (int i = 0; i < a.length; i++) {
Integer offset = a[i];
rec[i] = Record.buildRecordAtOffset(docstream, offset.intValue());
if(rec[i] instanceof PersistRecord) {
PersistRecord psr = (PersistRecord)rec[i];
Integer id = offset2id.get(offset);
psr.setPersistId(id.intValue());
}
}
return rec;
}