Hashtable branchesClone = new Hashtable();
Enumeration branchesList = this.branches.keys();
while (branchesList.hasMoreElements()) {
Object key = branchesList.nextElement();
Vector value = (Vector) this.branches.get(key);
branchesClone.put(key, value.clone());
}
result.branches = branchesClone;
// Cloning latest revision list
result.latestRevisionNumbers =
(Hashtable) this.latestRevisionNumbers.clone();