@Override
	protected void notifyGroupChange() {
		getFunctionGraph().groupRemoved(groupVertex);
	}
Constructor

@param controller the controller of the graph to be ungrouped
@param groupVertex The group vertex to be ungrouped
@param useAnimation whether to use animation
@param isPartOfUngroupAll true signals that this ungroup is part of a larger ungrouping
                          process
Ghidra/Features/FunctionGraph/src/main/java/ghidra/app/plugin/core/functiongraph/util/job/UngroupVertexFunctionGraphJob.java