buf = FileReader.openFileReader(appProp.getProperty("panda.etc")
+ fileseparator + "DataDir.config");
TrecIndex trecindex = new TrecIndex();
// System.out.println(appProp);
// System.s(0);
trecindex.pocess(INDEX, DATA, appProp);
}
long endTime = System.currentTimeMillis();
System.err.println("Time elapsed: " + (endTime - startTime) / 1000.0d
+ " seconds.");