gPluginInstaller.mTab) {  gPluginInstaller.mTab.missingPlugins = null;  window.opener.gMissingPluginInstaller.closeNotification();  window.opener.getBrowser().reloadTab(gPluginInstaller.mTab); 
gPluginInstaller.mBrowser) {   var event = document.createEvent("Events"); event.initEvent("NewPluginInstalled", true, true); gPluginInstaller.mBrowser.dispatchEvent(event); 
function wizardFinish(){  // don't refresh if no plugins were found or installed  if ((gPluginInstaller.mSuccessfullPluginInstallation > 0) &&      (gPluginInstaller.mPluginInfoArray.length != 0) &&      gPluginInstaller.mTab) {    // clear the tab's plugin list only if we installed at least one plugin    gPluginInstaller.mTab.missingPlugins = null;    // reset UI    window.opener.gMissingPluginInstaller.closeNotification();    // reload the browser to make the new plugin show    window.opener.getBrowser().reloadTab(gPluginInstaller.mTab);  }  return true;}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/9c442c7554e8fc1b4d86f377962cf51a89b21cbd/pluginInstallerWizard.js/clean/toolkit/mozapps/plugins/content/pluginInstallerWizard.js