private void updateModelChoices() {
		Options decompilerPropertyList = program.getOptions(DECOMPILER_PROPERTY_LIST_NAME);
		PropertyEditor editor =
			decompilerPropertyList.getRegisteredPropertyEditor(EVALUATION_MODEL_PROPERTY_NAME);
		if (editor == null) {
			return;
		}
		if (!(editor instanceof StringWithChoicesEditor)) {
			return;
		}
		String[] evalChoices = establishEvaluationModelChoices(evalCurrentModel);
		StringWithChoicesEditor choiceEditor = (StringWithChoicesEditor) editor;
		choiceEditor.setChoices(evalChoices);
	}
Update the choices presented for evaluation model program option.
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/ProgramCompilerSpec.java