public void dispose() {
		// do nothing by default
	}
Called when this command is going to be removed/canceled without
running it.  This gives the command the opportunity to free any
temporary resources it has hold of.
Ghidra/Framework/Project/src/main/java/ghidra/framework/cmd/BackgroundCommand.java