Changed filename extension from .txt to .trace.
ObjectIdPair> put when call DeltaAliasCollector#changeTrackingObject().