void toDOT(File file, DirectedGraph<AddonVertex, AddonDependencyEdge> graph)
{
DOTExporter<AddonVertex, AddonDependencyEdge> exporter = new DOTExporter<>(
new IntegerNameProvider<AddonVertex>(),
new AddonVertexNameProvider(),
new AddonDependencyEdgeNameProvider());
try (FileWriter fw = new FileWriter(file))
{
exporter.export(fw, graph);
fw.flush();