public void registerOptions(ToolOptions oldOptions) {
		Set<String> optionNameSet = oldOptions.valueMap.keySet();
		for (String optionName : optionNameSet) {
			Option option = oldOptions.valueMap.get(optionName);
			if (option.isRegistered()) {
				registerOption(optionName, option.getOptionType(), option.getDefaultValue(),
					option.getHelpLocation(), option.getDescription());
			}
		}
	}
Adds all the options name/value pairs to this Options.
@param newOptions the new options into which the current options values will be placed
Ghidra/Framework/Gui/src/main/java/ghidra/framework/options/ToolOptions.java