protected Stream<ConfigLast> streamSavedConfigs(Program program) {
		if (program == null) {
			return Stream.of(toolLaunchConfigs.getNames())
					.map(n -> checkSavedConfig(null, n, toolLaunchConfigs.getSaveState(n)))
					.filter(c -> c != null);
		}
		ProgramUserData userData = program.getProgramUserData();
		return userData.getStringPropertyNames()
				.stream()
				.map(n -> checkSavedConfig(program, userData, n))
				.filter(c -> c != null);
	}
TODO: Supposedly, per-program, per-user config stuff is being generalized for analyzers.
Re-examine this if/when that gets merged
Ghidra/Debug/Debugger-rmi-trace/src/main/java/ghidra/app/plugin/core/debug/gui/tracermi/launcher/TraceRmiLauncherServicePlugin.java