dojo.string.splitEscaped = function(/*string*/str, /*string of length=1*/charac){// summary://  Splits 'str' into an array separated by 'charac', but skips characters escaped with a backslash  var components = [];  for (var i = 0, prevcomma = 0; i < str.length; i++){    if (str.charAt(i) == '\\'){ i++; continue; }    if (str.charAt(i) == charac){      components.push(str.substring(prevcomma, i));      prevcomma = i + 1;    }  }  components.push(str.substr(prevcomma));  return components; // array}
6315	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6315/65ae7e8768a77997b7894e274bc242069a1cb027/struts_dojo.js.uncompressed.js/clean/src/main/resources/org/apache/struts2/static/dojo/struts_dojo.js.uncompressed.js