139140141142143144145146147148149
if (checkpoint != null) { checkpoint.removeObject(object); } if (oldCheckpoint != null) { oldCheckpoint.addObject(object); } if (trim) { _records.pop(); }