void checkForNewExtensions() {
		if (newExtensionPlugins.isEmpty()) {
			return;
		}

		propmtToConfigureNewPlugins(newExtensionPlugins);
		newExtensionPlugins.clear();
	}
A class to manage saving and restoring of known extension used by this tool.
Ghidra/Framework/Project/src/main/java/ghidra/framework/project/tool/ExtensionManager.java