/*.................................................................................................................*/ 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); }