}
name = (name == null)?ont.getName():name;
}else if(txt != null){
log("Loading Text terminology from "+txt+"...");
File f = new File(txt);
terminology.loadText(f,name);
name = (name == null)?f.getName():name;
}
//print info
log("Testing Terminology "+name+" ...");