@Override
				public void end() {
					busyListener.setBusy(false);
				}
A callback given when this animator has run to completion.  This will be called whether
the animator is stopped prematurely or ends naturally.
Ghidra/Framework/Graph/src/main/java/ghidra/graph/job/AbstractAnimator.java