rem:  dir.reveal(); 
add:  try { dir.reveal(); } catch (ex) {   openExternal(dir.path); } 
context: function onDownloadShowFolder(){  var folderName = document.getElementById("saveToFolder");  var dir = Components.classes["@mozilla.org/file/local;1"]                      .createInstance(Components.interfaces.nsILocalFile);  dir.initWithPath(folderName.getAttribute("path"));  if (!dir.exists())   dir.create(Components.interfaces.nsIFile.DIRECTORY_TYPE, 0755);    dir.reveal();}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/ff9db7b110791e119fd540ddc5fa2288a2d37ac7/downloads.js/buggy/toolkit/mozapps/downloads/content/downloads.js