private static int getSharedThreadPoolSizeOption(PluginTool tool) {
		Options options = tool.getOptions("Auto Analysis");
		return options.getInt(OPTION_NAME_THREAD_USE, analysisSharedThreadPoolSize);
	}
Returns the tool being used for analysis.  <b>This can be null</b> if analysis has never
been run or if the tool that previously ran analysis has been closed.
@return the tool being used for analysis.
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/analysis/AutoAnalysisManager.java