docs: public void setOptions(
  			String[] labels, String[] descriptions, int defaultIndex) 
  	{
  		if (labels.length != descriptions.length) {
              throw new IllegalArgumentException("Labels/descriptions mismatch.");
          }
  		
  		if (labels.length > 0) {
  			this.optionLabels = labels.clone();
  			this.optionDescriptions = descriptions.clone();
  			this.defaultOptionIndex = defaultIndex;
  		}
  		else {
  			// use placeholders for empty list of choices
  			this.optionLabels = new String[]{NO_CHOICES};
  			this.optionDescriptions = new String[]{NO_CHOICES_DESCRIPTION};
  			this.defaultOptionIndex = 0;
  		}
  		
  		// reset to default value
          resetToDefault();
          
          // refresh the edit component
          if (this.editComponent != null) {
          	this.editComponent.refresh();
          }
  	}