private void addColorText(Color color, StyledDocument doc, String text) {
		color(color);
		try {
			doc.insertString(doc.getLength(), text, textAttrSet);
		}
		catch (BadLocationException e) {
			Msg.error(this, "Error adding color text to Diff details.", e);
		}
		color(null);
	}
Creates a formatted difference string for an individual line difference
between program1 and program2.
Ghidra/Features/Base/src/main/java/ghidra/program/util/ProgramDiffDetails.java