fFutureFix= NO_FIX; }
if (fNoFixButton.getSelection()) { if (fInlineFixButton.getSelection()) { fFutureFix= INLINE_FIX; fBodyEditorControl.setEnabled(false); } else { fFutureFix= REPLACE_FIX; fBodyEditorControl.setEnabled(true); } fInlineFixButton.setEnabled(true); fReplaceInvocationButton.setEnabled(true); } else { fFutureFix= NO_FIX; fInlineFixButton.setEnabled(false); fReplaceInvocationButton.setEnabled(false); fBodyEditorControl.setEnabled(false); } updateStatus(); }
			public void widgetSelected(final SelectionEvent event) {				fFutureFix= NO_FIX;			}