}
final Date start = new Date();
System.out.println("\n"+t+": Start processing:"+start+"\n");
final Run result = algo.sort(new BufferedInputStream(new FileInputStream(args[1])), args[2]);
// just access all elements in the bag by iterating one time through
final Iterator<String> it = result.iterator();
long i=0;
while(it.hasNext()){