@Override
	void writeConfigState(SaveState saveState) {
		// we have no state we are interested in saving
	}
A disconnected symbol tree is a snapshot of the primary symbol tree.
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/symboltree/DisconnectedSymbolTreeProvider.java