default void dispose() {
		// default do nothing
	}
Callback from the program after being closed to signal this manager to release memory and resources.
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/ManagerDB.java