SwingUtilities.invokeLater(new Runnable() { public void run() { PluginListDownloadProgress.this.dispose(); } });
		public void run()		{			try			{				list = new PluginList();			}			catch(InterruptedIOException iio)			{				// do nothing, user clicked Stop			}			catch(XmlException xe)			{				int line = xe.getLine();				String path = jEdit.getProperty("plugin-manager.url");				String message = xe.getMessage();				Log.log(Log.ERROR,this,path + ":" + line					+ ": " + message);				String[] pp = { path, String.valueOf(line), message };				GUIUtilities.error(PluginListDownloadProgress.this,					"plugin-list.xmlerror",pp);			}			catch(Exception e)			{				Log.log(Log.ERROR,this,e);				String[] pp = { e.toString() };				GUIUtilities.error(PluginListDownloadProgress.this,					"plugin-list.ioerror",pp);			}			SwingUtilities.invokeLater(new Runnable()			{				public void run()				{					PluginListDownloadProgress.this.dispose();				}			});		}