{
// Create a merged leaf
IIntList mergedIndexes = intsNew.list(0);
for (Leaf l : leavesToMerge)
{
mergedIndexes.appendAll(l.indexes);
}
Leaf newLeaf = new Leaf(mergedIndexes);
// remove old leaves and add new leaf
leavesNew.removeAll(leavesToMerge);