rem: dd ("caught exception reading pref ``" + prefName + "'' " + type + "\n" + ex); 
context:     function prefGetter ()    {        if (typeof realValue == "undefined")        {            var type = this.prefBranch.getPrefType (prefName);            try            {                switch (type)                {                    case nsIPrefBranch.PREF_STRING:                        realValue = this.prefBranch.getCharPref (prefName);                        break;                                            case nsIPrefBranch.PREF_INT:                        realValue = this.prefBranch.getIntPref (prefName);                        break;                                            case nsIPrefBranch.PREF_BOOL:                        realValue = this.prefBranch.getBoolPref (prefName);                        break;                                            default:                        realValue = defaultValue;                }            }            catch (ex)            {                dd ("caught exception reading pref ``" + prefName + "'' " +                    type + "\n" + ex);                realValue = defaultValue;            }        }        return realValue;    }
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/ee3e81c9eee0bf8794a2af998756d3a96e8053ee/venkman-prefs.js/buggy/extensions/venkman/resources/content/venkman-prefs.js