fDestinationText.setText(fStore.getDestination());
	private void setOptionSetSettings() {			if(!fStore.fromStandard()) {				fCustomButton.setSelection(true);				fDocletText.setText(fStore.getDocletPath());				fDocletTypeText.setText(fStore.getDocletName());				fDestinationText.setEnabled(false);				fDestinationBrowserButton.setEnabled(false);				fDestinationLabel.setEnabled(false);			} else {				fStandardButton.setSelection(true);				fDestinationText.setText(fStore.getDestination());				fDocletText.setEnabled(false);				fDocletLabel.setEnabled(false);				fDocletTypeText.setEnabled(false);				fDocletTypeLabel.setEnabled(false);			}	}