GUIUtilities.message(PluginManagerProgress.this, "plugin-manager.done",null);
dispose(); if(ok) { GUIUtilities.message(PluginManagerProgress.this, "plugin-manager.done",null); } 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);					}				}