in src/main/org/apache/ant/props/stringops/PatternOperation.java [38:48]
public boolean process(StringBuffer sb, ParsePosition pos) {
int index = pos.getIndex();
int matchLength = sb.indexOf("\\\\", index) == index ? 2
: sb.charAt(index) == '/' ? 1 : 0;
if (matchLength > 0) {
sb.replace(index, index + matchLength, "[/|\\\\]");
pos.setIndex(index + 6);
return true;
}
return false;
}