@Override
	public KeyStroke getKeyStroke(String optionName, KeyStroke defaultValue) {

		ActionTrigger defaultTrigger = null;
		if (defaultValue != null) {
			defaultTrigger = new ActionTrigger(defaultValue);
		}

		Option option = getOption(optionName, OptionType.ACTION_TRIGGER, defaultTrigger);
		try {
			ActionTrigger actionTrigger = (ActionTrigger) option.getValue(defaultTrigger);
			if (actionTrigger != null) {
				return actionTrigger.getKeyStroke();
			}
			return null;
		}
		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