rem: return prefs.getBoolPref(aName); 
add: return prefs.getBoolPref(temp[temp.length-1]); 
context: 	prefsGetBool: function(aName)	// EFFECTS: Returns the value of aName.  If aRoot is not specified,	//          it defaults to extestensions.rtse.	{		var prefs=Components.classes["@mozilla.org/preferences-service;1"]		                    .getService(Components.interfaces.nsIPrefService);		var temp=aName.split('.');		var root;		for( var i=0; i<(temp.length-1); i++ ) {			root=root+temp[i]+'.';		}		prefs=prefs.getBranch(root);		return prefs.getBoolPref(aName);	},
meta: 760	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/760/9af8e0cfac4035d420df9ba8d92bbfdc5ad37f9f/rtse.js/buggy/components/rtse.js