/guava/android/guava/src/com/google/common/escape/CharEscaperBuilder.java
private final short replaceLength;
private final int replaceLength;
import org.checkerframework.checker.nullness.qual.Nullable; @GwtCompatible @ElementTypesAreNonnullByDefault public final class CharEscaperBuilder { private static class CharArrayDecorator extends CharEscaper { private final char[] @Nullable [] replacements; <extra_id_0> CharArrayDecorator(char[] @Nullable [] replacements) { this.replacements = replacements; this.replaceLength = replacements.length; } @Override public String escape(String s) {