public GraphViz.Node toGraphViz(GraphViz gv) {
if (gv.hasNode(this)) return gv.createNode(this);
GraphViz.Node n = gv.createNode(this);
- n.label = StringUtil.escapify(headToString()==null?"":headToString(), "\r\n");
+ n.label = headToString()==null?"":headToString();
n.directed = true;
n.comment = reduction==null?null:reduction+"";
edges(n);