Just published a (minor) new release of my Weka package graphviz-treevisualize, it now allows you to export the graph to PS, EPS or PDF. So far, it only allowed you to save PNG images or the graph data itself. However, when trying to incorporate graphs in publications, PNG is not the best choice, being non-scalable.