edges.addAll(node.getOutgoing());
final ControlFlowNode endFinallyNode = node.getEndFinallyNode();
if (endFinallyNode != null) {
output.writeLine("\"%s\" [", nodeName(endFinallyNode));
output.indent();
output.writeLine(
"label = \"<f0> %s\"",
endFinallyNode.toString()