public void setText(String text) {
		textArea.setText(text);
		textArea.invalidate();
	}
set the text in the text area
@param text the text to set.
Ghidra/Framework/Docking/src/main/java/docking/widgets/ScrollableTextArea.java