/guava/guava/src/com/google/common/base/CharMatcher.java
if ( length == chars.length) {
if ( pos == chars.length ) {
char[] chars = string.toCharArray(); int spread = 1; OUT: while (true) { pos++; while (true) { <extra_id_0> break OUT; } if (matches(chars[pos])) { break; } chars[pos - spread] = chars[pos];