private Border createBorder(String group) {
		if (group != null) {
			return BorderFactory.createTitledBorder(group);
		}
		return BorderFactory.createEmptyBorder(10, 10, 10, 10);
	}
Construct a new OptionsEditorPanel
@param options the list of options to be edited.
@param addressFactoryService a service for providing an appropriate AddressFactory if needed
for editing an options.  If null, address based options will not be available.
Ghidra/Features/Base/src/main/java/ghidra/app/util/OptionsEditorPanel.java