rem: if (logging__) { this.lines.push(xmlEscapeText(s)); this.show(); } 
add: LOG.debug("xpath logging: " + s); 
context: Log.write = function(s) {  if (logging__) {    this.lines.push(xmlEscapeText(s));    this.show();  }};
meta: 3428	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3428/5b7d0f445e4aa79f03d8ed4259e14bef5795cc5e/misc.js/buggy/src/main/resources/core/xpath/misc.js