diskIndex.destroy();
// create a disk index from an empty index file
FSUtils.delTree(new File(PATH1));
index = new DiskIndexWriter(PATH1, 4, COMPRESSED, MAX_BLOCK_FILE_SIZE);
index.writeIndex(EMPTY_RESULT_SET);
diskIndex = new DiskIndex(PATH1, new DefaultByteRangeComparator(), COMPRESSED, MMAPED);
// check ranges; should all be empty
it = diskIndex.rangeLookup(new byte[0], new byte[0], false);