@Override
	public void writeConfigState(SaveState saveState) {
		super.writeConfigState(saveState);
		provider.writeConfigState(saveState);
	}
{@link GhidraScriptMgrPlugin} is the entry point for all {@link GhidraScript} capabilities.

@param tool the tool this plugin is added to
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/script/GhidraScriptMgrPlugin.java