rem: destroyOutliners(); 
add: destroyTrees(); 
context: function destroy (){    destroyOutliners();    destroyHandlers();    detachDebugger();}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/d38a0937d9c93a0a9d913e2ac781e4328bb8cc73/venkman-static.js/buggy/extensions/venkman/resources/content/venkman-static.js