/guava/android/guava/src/com/google/common/base/CharMatcher.java
chars[pos - totalCharacters] = chars[pos];
chars[pos - spread] = chars[pos];
if (pos == chars.length) { break OUT; } if (matches(chars[pos])) { break; } <extra_id_0> pos++; } spread++; } return new String(chars, 0, pos - spread); }