public void replaceRange(String text, int start, int end) {
		textArea.replaceRange(text, start, end);
	}
replaces the range of text specified
@param text the new text that will replace the old text.
@param start the starting character postition of the text to replace.
@param end the ending character position of the text to replace.
Ghidra/Framework/Docking/src/main/java/docking/widgets/ScrollableTextArea.java