dump(ex); 
Components.utils.reportError(ex); 
  getExternalViewSourceEditor: function()  {    var editor = null;    var viewSourceAppPath = null;    try {      var prefs = Components.classes["@mozilla.org/preferences-service;1"]                            .getService(Components.interfaces.nsIPrefBranch);      var prefPath = prefs.getCharPref("view_source.editor.path");      if (prefPath.length > 0) {        viewSourceAppPath = Components.classes["@mozilla.org/file/local;1"]                                      .createInstance(Components.interfaces.nsILocalFile);        viewSourceAppPath.initWithPath(prefPath);        // it's gotta be executable        if (viewSourceAppPath.exists() && viewSourceAppPath.isExecutable()) {          editor = Components.classes['@mozilla.org/process/util;1']                             .createInstance(Components.interfaces.nsIProcess);          editor.init(viewSourceAppPath);        }      }    }    catch (ex) {      dump(ex);    }    return editor;  },
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/4424ceee06a31dfcd9fb69d6502773db17ae471d/viewSourceUtils.js/buggy/toolkit/components/viewsource/content/viewSourceUtils.js