text: public void replace(int start, int limit, char[] text, int charsStart,int charsLen) {final int newLength = shiftForReplace(start, limit, charsLen);System.arraycopy(text, charsStart, buffer, start, charsLen);token.setLength(length = newLength);}