rem: torbutton_log(4, "called get_prefbranch()"); 
add: torbutton_log(1, "called get_prefbranch()"); 
context: function torbutton_get_prefbranch(branch_name) {    var o_prefs = false;    var o_branch = false;    torbutton_log(4, "called get_prefbranch()");    o_prefs = Components.classes["@mozilla.org/preferences-service;1"]                        .getService(Components.interfaces.nsIPrefService);    if (!o_prefs)    {        torbutton_log(3, "failed to get preferences-service");        return false;    }    o_branch = o_prefs.getBranch(branch_name);    if (!o_branch)    {        torbutton_log(3, "failed to get prefs branch");        return false;    }    return o_branch;}
meta: 3444	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3444/40dcb9049bb6b7aafbc03e59afa063688fdd530e/torbutton_util.js/buggy/src/chrome/content/torbutton_util.js