fStore.setValue(PreferenceConstants.EDITOR_TEXT_HOVER_MODIFIER_MASKS, maskBuf.toString());
	void performOk() {		StringBuffer buf= new StringBuffer();		for (int i= 0; i < fHoverConfigs.length; i++) {			buf.append(getContributedHovers()[i].getId());			buf.append(JavaEditorTextHoverDescriptor.VALUE_SEPARATOR);			if (!fHoverConfigs[i].fIsEnabled)				buf.append(JavaEditorTextHoverDescriptor.DISABLED_TAG);			String modifier= fHoverConfigs[i].fModifierString;			if (modifier == null || modifier.length() == 0)				modifier= JavaEditorTextHoverDescriptor.NO_MODIFIER;			buf.append(modifier);			buf.append(JavaEditorTextHoverDescriptor.VALUE_SEPARATOR);		}		fStore.setValue(PreferenceConstants.EDITOR_TEXT_HOVER_MODIFIERS, buf.toString());		JavaPlugin.getDefault().resetJavaEditorTextHoverDescriptors();	}