rem: this.sourceText = new Array(); 
add: this.lines = new Array(); 
context: function SourceText (scriptContainer){    this.sourceText = new Array();    this.tabWidth = console.prefs["sourcetext.tab.width"];    this.fileName = scriptContainer.fileName;    this.scriptContainer = scriptContainer;    this.lineMap = new Array();}
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/e014e7e6630afe8d70caa7198725aea7c354a0db/venkman-static.js/buggy/extensions/venkman/resources/content/venkman-static.js