protected void stop() {
		trace("stop()");

		if (animator == null) {
			callFinish();
			return;
		}

		animator.stop();
	}
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/AbstractAnimatorJob.java