private List<JCheckBox> findAllCheckBoxes(JPanel panel) {
		ArrayList<JCheckBox> list = new ArrayList<>();
		gatherCheckBoxes(panel, list);
		return list;
	}
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