if (!context.sourceFileMap || !(url in context.sourceFileMap)) this.updateScriptFiles(context, true);  
this.getScriptFileByHref = function(url, context){    if (!context.sourceFileMap || !(url in context.sourceFileMap))        this.updateScriptFiles(context, true);    return context.sourceFileMap[url];};
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/c5f013dccda5f25ec6c3894c73898353bae36759/lib.js/buggy/extension/content/firebug/lib.js