@Override
	public boolean hasOptions(String category) {
		return optionsMap.containsKey(category);
	}
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/mgr/OptionsManager.java