context: function wizardFinish(){  // don't refresh if no plugins were found or installed  if ((gPluginInstaller.mSuccessfullPluginInstallation > 0) &&       (gPluginInstaller.mPluginInfoArray.length != 0) &&       gPluginInstaller.mTab) {    window.opener.getBrowser().hideMessage(window.opener.getBrowser().selectedBrowser, "top");    window.opener.getBrowser().reloadTab(gPluginInstaller.mTab);  }  return true;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/0c34924806f6b890c3f326cf35a3d632c59e2b09/pluginInstallerWizard.js/clean/toolkit/mozapps/plugins/content/pluginInstallerWizard.js