prefs.put(PREF_TREE_READER_FACTORY, trf.getClass().getSimpleName());
}
static TreeReaderFactory lookupTreeReaderFactory(String trfName) {
if(trfName.equalsIgnoreCase("ArabicTreeReaderFactory")) {
return new ArabicTreeReaderFactory();
} else if(trfName.equalsIgnoreCase("ArabicTreeReaderFactory.ArabicRawTreeReaderFactory")) {
return new ArabicTreeReaderFactory.ArabicRawTreeReaderFactory();
} else if(trfName.equalsIgnoreCase("CTBTreeReaderFactory")) {
return new CTBTreeReaderFactory();
} else if(trfName.equalsIgnoreCase("NoEmptiesCTBTreeReaderFactory")) {