else fStore.setAntpath("");
	protected void finish() {		Object[] buttons= fButtonsList.toArray();		for (int i= 0; i < buttons.length; i++) {			FlaggedButton button= (FlaggedButton) buttons[i];			if (button.getButton().getEnabled())				fStore.setBoolean(button.getFlag(), !(button.getButton().getSelection() ^ button.show()));			else				fStore.setBoolean(button.getFlag(), false == button.show());		}		String str= fExtraOptionsText.getText();		if (str.length() > 0)			fStore.setAdditionalParams(str);		if (fOverViewText.getEnabled())			fStore.setOverview(fOverViewText.getText());		if (fStyleSheetText.getEnabled())			fStore.setStyleSheet(fStyleSheetText.getText());		if (fAntText.getEnabled())			fStore.setAntpath(fAntText.getText());	}