public static String colorString(String rgbColor, int value) {
		return "<font color=\"" + rgbColor + "\">" + value + "</font>";
	}
This creates a colored number by converting the number to a string and 
wrapping it with an HTML font tag that has a color attribute.
@param rgbColor (eg. "#8c0000")
@param value the integer number
@return the tagged string.
Ghidra/Features/Base/src/main/java/ghidra/app/merge/util/ConflictUtility.java