rem: if ("dbgRealize" in console) 
add: if ("dbgRealize" in console && console.dbgRealize) 
context: function unrealizeScript(script){    var container = console.scripts[script.fileName];    if (!container)    {        dd ("unrealizeScript: unknown file ``" +             script.fileName + "''");        return;    }    if ("dbgRealize" in console)        dd ("remove scriptrecord: " + formatScript(script));    var scriptRec = container.locateChildByScript (script);    if (!scriptRec)    {        dd ("unrealizeScript: unable to locate script record");        return;    }        if (console.sourceView.provider == scriptRec)        console.sourceView.setCurrentSourceProvider(scriptRec.parentRecord);    var bplist = console.breakpoints.childData;    for (var i = 0; i < bplist.length; ++i)    {        if (bplist[i].fileName == script.fileName)        {            var bpr = bplist[i];            for (var j = 0; j < bpr.scriptRecords.length; ++j)            {                if (bpr.scriptRecords[j] == scriptRec)                {                    arrayRemoveAt(bpr.scriptRecords, j);                    --scriptRec.bpcount;                    bpr.invalidate();                }            }        }    }        container.removeChildAtIndex (scriptRec.childIndex);    if (container.childData.length == 0 && "parentRecord" in container)    {        console.scriptsView.childData.removeChildAtIndex(container.childIndex);    }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/e9569eb18e50e06de729cba194fc4b9418c48865/venkman-debugger.js/clean/extensions/venkman/resources/content/venkman-debugger.js