aRecords = rRecordStore.enumerateRecords(null, null, false);
aRecordIDs = new Vector(nRecords);
// insert first element as a root that is not part of the RecordStore
aIDs.push(-1);
aRecordIDs.insertElementAt(new NodeRecordIDs(-1, -1), 0);
while (aRecords.hasNextElement())
{
// read all record IDs and store them in ascending order;