}
final LocalTransaction targetTransaction = (LocalTransaction)_targetDb.systemTransaction();
final LocalTransaction sourceTransaction = (LocalTransaction)_sourceDb.systemTransaction();
final CommitTimestampSupport target = targetTransaction.commitTimestampSupport();
final CommitTimestampSupport source = sourceTransaction.commitTimestampSupport();
if (source.idToTimestamp() == null) {
return;
}
source.idToTimestamp().traverseKeys(sourceTransaction, new Visitor4<TimestampEntry>() {
public void visit(TimestampEntry te) {
int mappedID = mappedID(te.parentID());
target.put(targetTransaction, mappedID, te.getCommitTimestamp());
}
});