// Do we have a small sorted bag? In other words:
// Did we already write entries to disk or is all still stored in main
// memory? In the latter case, we do not need to store it on disk and
// just "sort" in memory!
if (currentRun == null) {
return new ParallelIterator() {
Iterator<String> it = searchtree.iterator();
public void close() {
}