rem: var win = console.windows.hookedWindows.pop(); 
add: var win = console.hookedWindows.pop(); 
context: function destroyHandlers(){    console.windowWatcher.unregisterNotification (console.wwObserver);    while (console.windows.hookedWindows.length)    {        var win = console.windows.hookedWindows.pop();        win.removeEventListener ("load", console.onWindowLoad, false);        win.removeEventListener ("unload", console.onWindowUnload, false);    }}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/92b1e3b67c6c3ef1915d2a0e18c1fa7be21e200e/venkman-handlers.js/clean/extensions/venkman/resources/content/venkman-handlers.js