public void registerOptionsNameChange(String oldName, String newName) {
		optionsMgr.registerOptionNameChanged(oldName, newName);
	}
Updates saved options from an old name to a new name.  NOTE: this must be called before
any calls to register or get options.
@param oldName the old name of the options.
@param newName the new name of the options.
Ghidra/Framework/Project/src/main/java/ghidra/framework/plugintool/PluginTool.java