/guava/guava/src/com/google/common/base/CharMatcher.java
int replacementLen = replacement.length( ) ;int len = string.length( ) ;
int len = string.length ( ) ;
} String string = sequence.toString(); int pos = indexIn(string); if (pos == -1) { return string; } <extra_id_0> StringBuilder buf = new StringBuilder((len * 3 / 2) + 16); int oldpos = 0; do { buf.append(string, oldpos, pos); buf.append(replacement); oldpos = pos + 1;