public void dispose() { if (fStatusTextFont != null && !fStatusTextFont.isDisposed()) fStatusTextFont.dispose();  if (fShell != null) { if (!fShell.isDisposed()) fShell.dispose(); fShell= null; fText= null; }
public final void dispose() { if (fShell != null && !fShell.isDisposed()) fShell.dispose(); else widgetDisposed(null);
	public void dispose() {		if (fStatusTextFont != null && !fStatusTextFont.isDisposed())			fStatusTextFont.dispose();				if (fShell != null) {			if (!fShell.isDisposed())				fShell.dispose();			fShell= null;			fText= null;		}	}