@Deprecated(since = "11.0.2", forRemoval = true)
	default public void registerOption(String optionName, OptionType type, Object defaultValue,
			HelpLocation help, String description, PropertyEditor editor) {
		String caller = ReflectionUtilities.getClassNameOlderThan(Options.class);
		String message = """
				Using deprecated call to registerOption(PropertyEditor) from % for option %s
				""".formatted(caller, optionName);
		Msg.debug(this, message);
		registerOption(optionName, type, defaultValue, help, description, () -> editor);
	}
Use instead
{@link #registerOption(String, OptionType, Object, HelpLocation, String, Supplier)}
@param optionName the name of the option being registered.
@param type the OptionType for this options.
@param defaultValue the defaultValue for the option. In this version of the method, the default
value may be null.
@param help the HelpLocation for this option.
@param description a description of the option.
@param editor an optional supplier of a custom editor for this property. Note if the option
is a custom option, then the property editor can't be null;
@deprecated Use instead
{@link #registerOption(String, OptionType, Object, HelpLocation, String, Supplier)}
Ghidra/Framework/Gui/src/main/java/ghidra/framework/options/Options.java