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