private void removeVertexFromView(V v) {
		performInternalUpdate(() -> super.removeVertex(v));
	}
This method is to be called internally to remove a vertex from this graph, but not the
underlying 'complete graph'.

@param v the vertex
Ghidra/Framework/Graph/src/main/java/ghidra/graph/graphs/FilteringVisualGraph.java