rem: file.lines = null; 
context: function updateFileSource(source, url, force){    var fileIndex = filesLookup[url];    if (!fileIndex || !source.length)        return;    var file = files[fileIndex];    if (force || file.source.length != source.length || file.source != source) {        file.source = source;        file.loaded = false;        file.lines = null;        if (file.element) {            file.element.parentNode.removeChild(file.element);            file.element = null;        }        if (currentFile == fileIndex)            loadFile(fileIndex, false);    }}
meta: 5650	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5650/643352c3d2ad81564408436ae886cae289123685/debugger.js/clean/WebKitTools/Drosera/debugger.js