}                                                                                                                      /*@explore*/ 
} 
function dumpProperties(title, obj)                                                                                    /*@explore*/{                                                                                                                      /*@explore*/    var lines = [title];                                                                                               /*@explore*/    for (p in obj)                                                                                                     /*@explore*/        lines.push("["+p+"]="+obj[p]);                                                                                 /*@explore*/    ddd(lines.join("\n"));                                                                                             /*@explore*/}                                                                                                                      /*@explore*/
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/343c75165a613983188af73b9576a947e664ad23/firebug-service.js/buggy/extension/components/firebug-service.js