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