public void replaceText (int start, int end, String text)

Replaces a range of characters with the given text.

Parameters:
start    The starting index in the range, inclusive. This must be >= 0 and < the end.
end    The ending index in the range, exclusive. This is one-past the last character to delete (consistent with the String manipulation methods). This must be > the start, and <= the length of the text.
text    The text that is to replace the range. This must not be null.