public String name() {
		if (referent != null) {
			return "Vertex:" + referent.toString().replace(' ', '_');
		}
		return "Vertex_" + Long.toHexString(key);
	}
Return the name of this vertex. If the Vertex has a referent, the 
referent's toString() method will be used to create the name. If
the Vertex has a null referent, then the key will be used to determine
the name.
Ghidra/Framework/Generic/src/main/java/ghidra/util/graph/Vertex.java