public static void changeOptions(Options options, String name, Object oldValue,
			Object newValue) {
		if (name.equals(INCLUDE_TYPES_LABEL)) {
			includeTypes = ((Boolean) newValue).booleanValue();
		}
		else {
			Msg.error(JythonCodeCompletionFactory.class, "unknown option '" + name + "'");
		}
	}
Handle an Option change.

This is named slightly differently because it is a static method, not
an instance method.

By the time we get here, we assume that the Option changed is indeed
ours. 

@param options the Options handle
@param name name of the Option changed
@param oldValue the old value
@param newValue the new value
Ghidra/Features/Jython/src/main/java/ghidra/jython/JythonCodeCompletionFactory.java