rem: dd ("source load failed: '" + source.fileName + "'"); 
add: dd ("source load failed: '" + sourceText.fileName + "'"); 
context:     function tryAgain (result)    {        if (result == Components.results.NS_OK)            console.sourceView.displaySource(source);        else        {            dd ("source load failed: '" + source.fileName + "'");        }    }
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/e014e7e6630afe8d70caa7198725aea7c354a0db/venkman-trees.js/clean/extensions/venkman/resources/content/venkman-trees.js