@Override
	public void dispose() {
		ToolOptions opt = tool.getOptions(OPTIONS_TITLE);
		opt.removeOptionsChangeListener(this);
		stopSnapshotTimer();
		super.dispose();
	}
Tells a plugin that it is no longer needed.  The plugin should remove itself
from anything that it is registered to and release any resources.  Also,
any plugin that overrides this method should call super.dispose().
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/misc/RecoverySnapshotMgrPlugin.java