rem: else if(aType == "int") 
add: else if(aType == "int") 
context:    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){ };   },
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9421/838a3f38df6e9bd6fd899d9909b263e01aed1e26/prefs.js/clean/testing/extensions/community/chrome/content/prefs.js