doFtpRequest(FTP_DISCONNECT);
		public void windowClosed(WindowEvent evt)		{			String host = hostField.getText();			if(host != null)				jEdit.setProperty("vfs.ftp.browser.host.value",host);			String user = userField.getText();			if(user != null)				jEdit.setProperty("vfs.ftp.browser.user.value",user);		}