private void handleSymbolRenamed(ProgramChangeRecord rec) {
		Symbol symbol = (Symbol) rec.getObject();
		AttributedVertex vertex = getVertex(rec.getStart());
		if (vertex != null) {
			graphDisplay.updateVertexName(vertex, symbol.getName());
		}
	}
Base class for GraphDisplay listeners whose nodes represent addresses.
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/graph/AddressBasedGraphDisplayListener.java