text: public void replace(int start, int limit, String text) {final int charsLen = text.length();final int newLength = shiftForReplace(start, limit, charsLen);text.getChars(0, charsLen, buffer, start);token.setLength(length = newLength);}