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