rem: while (console.windows.hookedWindows.length) 
add: while (console.hookedWindows.length) 
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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/c253059afafb09ee6b27e3767bb1e487e050ba0f/venkman-handlers.js/clean/extensions/venkman/resources/content/venkman-handlers.js