/*................................................................................................*/ public void setPreferredTaxa(Taxa taxa) { // Copied from SampleTreesMultSources if (taxa != currentTaxa) { if (currentTaxa != null) currentTaxa.removeListener(this); currentTaxa = taxa; currentTaxa.addListener(this); } }