public void widgetSelected( SelectionEvent s ) { shell.close();
public void widgetSelected(SelectionEvent s) { close();
                public void widgetSelected( SelectionEvent s ) {                    shell.close();                }