String test = FileUtils.basename(testfilename) + "#" + nth;
//String[] args = new String[] { "-q", testfilename, "-o", OUTPUT_DEST + test };
String[] args = new String[] { "-q", testfilename, "-o", "/dev/null" };
StopWatch sw = new StopWatch("elapsed time of " + test);
try {
new InteractiveShell().run(args);
} catch (XQueryException e) {
Assert.fail("failed " + test, e);
}
System.out.println(sw);
}