@Override
	public Font getFont(String optionName, Font defaultValue) {
		Option option = getOption(optionName, OptionType.FONT_TYPE, defaultValue);
		try {
			return (Font) option.getValue(defaultValue);
		}
		catch (ClassCastException e) {
			return defaultValue;
		}
	}
Sets the name for this Options object.  Used when updating old options names to new names.
@param newName the new name for this options object.
Ghidra/Framework/Gui/src/main/java/ghidra/framework/options/AbstractOptions.java