rem: if (!ASSERT(record.realValue instanceof Array, "Pref is not an array")) 
add: if (!ASSERT(isinstance(record.realValue, Array), "Pref is not an array")) 
context: function pm_arrayupdate(prefName){    var record = this.prefRecords[prefName];    if (!ASSERT(record, "Unknown pref: " + prefName))        return;    if (record.realValue == null)        record.realValue = record.defaultValue;    if (!ASSERT(record.realValue instanceof Array, "Pref is not an array"))        return;    this.prefBranch.setCharPref(prefName, this.arrayToString(record.realValue));    this.delayedSave();}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/aedb529bd0a94624792b43137abb3dffe22f350f/pref-manager.js/clean/extensions/irc/js/lib/pref-manager.js