FileRenameHistory frh = new FileRenameHistory(originalChangesetIndex, df.getChangesetRevisionIndex(fileRevIndex));
if (frh.isOutOfRange(df, fileRevIndex)) {
return null;
}
frh.build(df, fileRevIndex);
Chunk c = frh.chunkAt(originalChangesetIndex);
if (c == null) {
// file rename history doesn't go deep up to changeset of interest
return null;
}
Path nameAtOrigin = c.file().getPath();