public static <T> File writeDotFile(
Graph<T> g, NodeDecorator labels, String title, String dotfile) {
File f = null;
try {
f = DotUtil.writeDotFile(g, labels, title, dotfile);
} catch (WalaException e) {
e.printStackTrace();
}
return f;
}
