/*.................................................................................................................*/
public String getCharacterName(Taxa taxa, int ic) {
CharacterObedSource oldSource = characterSourceTask;
String name = characterSourceTask.getCharacterName(taxa, ic);
if (oldSource
== characterSourceTask) // i.e., old source hasn't quit and been replaced during above call!
return name;
return characterSourceTask.getCharacterName(taxa, ic);
}
