private void assertOnlyNonDefaultOption(Options options, String optionName) {
		List<String> names = options.getOptionNames();
		for (String name : names) {
			if (!optionName.equals(name)) {
				assertTrue("Found unexpected non-default value - name: " + name + ", value: " +
					options.getObject(name, null), options.isDefaultValue(name));
			}
		}

		//
		// Note: if we ask if the value of the option is default, it will return true when 
		//       the options have been reloaded, but not accessed by anyone.  However, on the 
		//       next load, before the untouched options have been removed, the option will exist
		//       and we can check that via hasProperty().
		//
		assertTrue("Expected non-default value for option: " + optionName,
			options.contains(optionName));
	}
This test differs from {@link OptionsTest} in that this test is an integration test, pulling
options that have been registered by plugins.
Ghidra/Features/Base/src/test.slow/java/ghidra/framework/options/ToolPluginOptionsTest.java