default boolean requiresRefresh(String optionName) {
		return false;
	}
Check if a change in the given option requires a refresh of offers

@param optionName the name of the option that changed
@return true to refresh, false otherwise
Ghidra/Debug/Debugger-rmi-trace/src/main/java/ghidra/debug/spi/tracermi/TraceRmiLaunchOpinion.java