escapeGraphViz(endFinallyNode.toString())
);
output.writeLine("shape = \"box\"");
output.unindent();
output.writeLine("];");
edges.addAll(endFinallyNode.getIncoming());
edges.addAll(endFinallyNode.getOutgoing());
// edges.add(new ControlFlowEdge(node, endFinallyNode, JumpType.EndFinally));