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