add: delete this.charset; 
context: function st_reloadsrc (cb){    function reloadCB (status)    {        if (typeof cb == "function")            cb(status);    }    this.isLoaded = false;    this.lines = new Array();    delete this.markup;    this.loadSource(reloadCB);}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/f7f04032cd5ab64725c45d075b3eb51248448a9b/venkman-static.js/buggy/extensions/venkman/resources/content/venkman-static.js