public Set<FGVertex> getVertices() {
		return Collections.unmodifiableSet(groupVertices);
	}
Signals that the user has changed the text of a group node and that and this pre-existing
info needs to update.

@param text The new text
Ghidra/Features/FunctionGraph/src/main/java/ghidra/app/plugin/core/functiongraph/graph/vertex/GroupHistoryInfo.java