rem: for (var i in nodes) { 
add: for (var i = 0; i < nodes.length; ++ i) { 
context:     getElementText: function(element) {      var nodes = element.childNodes;      var text = "";      for (var i in nodes) {        var child = nodes[i];        if (child.nodeType == 3) {          text = text + child.nodeValue;          }        }      return text;     },
meta: 13	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/13/dea037c2055aa9d8061c8d52b4194c2380d2a5af/rsf.js/buggy/rsf-web/templates/src/webapp/content/js/rsf.js