.getService(Components.interfaces.nsIPrefBranch); 
.getService(Components.interfaces.nsIPrefBranch); 
   setPref : function(aName, aValue, aType) {          var pref = Components.classes["@mozilla.org/preferences-service;1"]        			.getService(Components.interfaces.nsIPrefBranch);          try{       if(aType == "bool")         pref.setBoolPref(aName, aValue);       else if(aType == "int")            pref.setIntPref(aName, aValue);       else if(aType == "char")         pref.setCharPref(aName, aValue);     }     catch(e){ };   },
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/a3a9a2c311afc9d76e4e6bfc036e5897fa988bc1/prefs.js/clean/testing/extensions/community/chrome/content/prefs.js