private String printNonDefaultValues(Options options) {
		List<String> names = options.getOptionNames();
		for (String name : names) {
			if (!options.isDefaultValue(name)) {
				Msg.debug(this,
					"non-default - name: " + name + ", value: " + options.getObject(name, null));
			}
		}
		return "";
	}
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