public void widgetSelected(final SelectionEvent event) { fFutureFix= INLINE_FIX; }
public void widgetSelected(SelectionEvent e) { fFutureFix= REPLACE_FIX; fBodyEditorControl.setEnabled(true); updateStatus(); }
			public void widgetSelected(final SelectionEvent event) {				fFutureFix= INLINE_FIX;			}