@Override
	public String getDesciption() {
		return "JGraphT library export of a graph to a DOT file";
	}
DOT graphs use a special attribute call "label" which we call "Name", so when
exporting to DOT format, change the "Name" attribute to "label".
Ghidra/Features/GraphServices/src/main/java/ghidra/graph/exporter/DotGraphExporter.java