protected void setVertexProperty(String propName, Vertex v, Object prop) {
		ObjectAttribute<Vertex> attrib = getVertexAttribute(propName);
		attrib.setValue(v, prop);
	}
This is a helper method that sets an object property named propName
for Vertex v.  
@param propName the property name
@param v the vertex
@param prop the property value
Ghidra/Framework/Generic/src/main/java/ghidra/util/graph/DirectedGraph.java