nextIndex = ((IndexEntry)indexValues.lastKey()).
getIndexValue().toSubIndex(true);
}
}
else {
IndexEntry last = (IndexEntry) usedValues.firstKey();
nextIndex = last.getIndexValue().toSubIndex(true);
}
nextIndex = nextIndex.nextPeer();
Variable nextIndexValue = (Variable) indexType.getVariable().clone();
nextIndexValue.fromSubIndex(nextIndex, true);
int status = allocate(sessionID, nextIndexValue, testOnly);