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