@Override
	public void optionsChanged(ToolOptions options, String optionName, Object oldValue,
			Object newValue) {
		if (optionName.startsWith(JythonCodeCompletionFactory.COMPLETION_LABEL)) {
			JythonCodeCompletionFactory.changeOptions(options, optionName, oldValue, newValue);
		}
		else if (optionName.equals(JythonCodeCompletionFactory.INCLUDE_TYPES_LABEL)) {
			JythonCodeCompletionFactory.changeOptions(options, optionName, oldValue, newValue);
		}
		else if (optionName.equals(INCLUDE_BUILTINS_LABEL)) {
			includeBuiltins = ((Boolean) newValue).booleanValue();
		}
	}
Handle a change in one of our options.

@param options the options handle
@param optionName name of the option changed
@param oldValue the old value
@param newValue the new value
Ghidra/Features/Jython/src/main/java/ghidra/jython/JythonPlugin.java