add: delete console._pp_stopLine; 
context: function setCurrentFrameByIndex (index){    if (!console.frames)        throw new BadMojo (ERR_NO_STACK);        ASSERT (index >= 0 && index < console.frames.length, "index out of range");    console._currentFrameIndex = index;    var cf = console.frames[console._currentFrameIndex];    console.stopLine = cf.line;    console.stopFile = cf.script.fileName;    console.onFrameChanged (cf, console._currentFrameIndex);    return cf;}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/64f0128f805d7f7a53819c408a30c765aa23f1fc/venkman-debugger.js/buggy/extensions/venkman/resources/content/venkman-debugger.js