add:  detachDebugger(); 
context: function con_unload (e){    dd ("Application venkman, 'JavaScript Debugger' unloaded.");}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/bc062ca8a85a7d341034c554a45073e4799ee4c9/venkman-handlers.js/buggy/extensions/venkman/resources/content/venkman-handlers.js