rem: else if(aType == "int") 
add: else if(aType == "int") 
context:    getPref : function(aName, aType) {          var pref = Components.classes["@mozilla.org/preferences-service;1"]        			.getService(Components.interfaces.nsIPrefBranch);     try{       var result;       if(aType == "bool")         result = pref.getBoolPref(aName);       else if(aType == "int")            result = pref.getIntPref(aName);       else if(aType == "char")               result = pref.getCharPref(aName);     return result;     }     catch(e){       if(aType == "bool"){         return false;       }                 else if(aType == "int"){         return 0;       }       else if(aType == "char"){         return null;        }     }   return null;   },
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/10234/a3a9a2c311afc9d76e4e6bfc036e5897fa988bc1/prefs.js/buggy/testing/extensions/community/chrome/content/prefs.js