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