    setExecutionLine: function(lineNo)    {        var lineNode = lineNo == -1 ? null : this.getLineNode(lineNo);        if (lineNode)            this.scrollToLine(lineNo);        if (this.executionLine)            this.executionLine.removeAttribute("exeLine");        this.executionLine = lineNode;                if (lineNode)            lineNode.setAttribute("exeLine", "true");                                                                                                                       /*@explore*/        if (FBTrace.DBG_BP) FBTrace.sysout("debugger.setExecutionLine to lineNo: "+lineNo+" lineNode="+lineNode+"\n"); /*@explore*/    },
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/8237a6359bebacf3e34f1134ef713c687c8e3edb/debugger.js/buggy/extension/content/firebug/debugger.js