rem: if (element.hasChildNodes()) 
add: if (element.hasChildNodes()) 
context: function setText(id, value) {    var element = document.getElementById(id);    if (!element) return; 	  if (element.hasChildNodes())        element.removeChild(element.firstChild);    var textNode = document.createTextNode(value);    element.appendChild(textNode);}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/905c7b19cc8a42301898fc4e29b60dcc4c397d50/downloadheaders.js/buggy/mailnews/news/resources/content/downloadheaders.js