rem: this.scriptRecord = scriptRecord; 
add: this.scriptWrapper = scriptWrapper; 
context: function PPSourceText (scriptRecord){    this.scriptRecord = scriptRecord;    this.reloadSource();}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/c253059afafb09ee6b27e3767bb1e487e050ba0f/venkman-static.js/buggy/extensions/venkman/resources/content/venkman-static.js