  try { var fileLocator = Components.classes["@mozilla.org/file/directory_service;1"] .getService(Components.interfaces.nsIProperties); const NS_APP_PREFS_OVERRIDE_DIR = "PrefDOverride"; var prefOverridesDir = fileLocator.get(NS_APP_PREFS_OVERRIDE_DIR, Components.interfaces.nsIFile); prefOverridesDir.remove(true); } catch (ex) { Components.utils.reportError(ex); } 
function clearAllPrefs() {  var prefService = Components.classes["@mozilla.org/preferences-service;1"]                              .getService(Components.interfaces.nsIPrefService);  prefService.resetUserPrefs();}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/1be8351c5aedcbc29537402742eed41ded8ef087/safeMode.js/buggy/browser/base/content/safeMode.js