public void exportTree(Tree tree){
  Map<String,Integer> idMap=writeNexusHeader(tree);
  out.println("\t\t;");
  writeNexusTree(tree,treePrefix + 1,true,idMap);
  out.println("End;");
}

public void exportTree ( Tree tree ) { Map < String , Integer > idMap = writeNexusHeader ( tree ) ; out . println ( "\t\t;" ) ; writeNexusTree ( tree , treePrefix + 1 , true , idMap ) ; out . println ( "End;" ) ; }
export a tree with all its attributes .
