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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/45c353e9aa1e6f3520b887db284ca8c0d9f4389f/venkman-static.js/clean/extensions/venkman/resources/content/venkman-static.js