shell.close();
close();
                public void widgetSelected( SelectionEvent s ) {                    String string = "afr " + host.getText() + " " + port.getText();                    Message consoleMessage = new EncodeMessage( Message.S_CONSOLEMSG, string );                    consoleMessage.sendMessage( core );                    consoleMessage = null;                    shell.close();                }