System.out.println("\nSave result into file: "+args[i+1]);
final OutputStream outputStream = new BufferedOutputStream(new FileOutputStream(args[i+1]));
formatter.writeResult(outputStream, evaluator.getVariablesOfQuery(), queryResult);
outputStream.close();
evaluator.writeOutIndexFileAndModifiedPages(args[0]);
queryResult.release();
}
System.out.println("\nDone!");
}
}