rem: NodeMapper.urlToGraphNodeNotHTTP = function (url) { 
add: NodeMapper.urlToGraphNodeNotHTTP = function(url) { 
context: NodeMapper.urlToGraphNodeNotHTTP = function (url) {  for (var i=0; i < NodeMapper.nonHTTPHandlers.length; ++i) {    var ident = NodeMapper.nonHTTPHandlers[i](url);    if (ident) return ident;  }  return url;};
meta: 7177	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7177/f3eb504b2bc3b25965efdda7ddd6258ef19eaf09/nodemapper-base.js/buggy/nodemapper-base.js