text: public java.nio.charset.CharsetEncoder replaceWith(byte[] replacement_1){if (replacement_1 == null){throw new System.ArgumentException("replacement == null");}if (replacement_1.Length == 0){throw new System.ArgumentException("replacement.length == 0");}if (replacement_1.Length > maxBytesPerChar()){throw new System.ArgumentException("replacement length > maxBytesPerChar: " + replacement_1.Length + " > " + maxBytesPerChar());}if (!isLegalReplacement(replacement_1)){throw new System.ArgumentException("bad replacement: " + java.util.Arrays.toString(replacement_1));}this.replacementBytes = replacement_1;implReplaceWith(replacementBytes);return this;}