else { GUIUtilities.message(PluginManagerProgress.this, "plugin-manager.failed",null); } }
				public void run()				{					dispose();					if(ok)					{						GUIUtilities.message(PluginManagerProgress.this,							"plugin-manager.done",null);					}					else					{						GUIUtilities.message(PluginManagerProgress.this,							"plugin-manager.failed",null);					}				}