public static String getTruncatedHTMLString(String originalString, int truncLength) {
		if (originalString == null) {
			originalString = "";
		}
		int originalLength = originalString.length();
		boolean shouldTruncate = originalLength > truncLength;
		String truncString = originalString;
		if (shouldTruncate) {
			truncString = originalString.substring(0, truncLength - 3) + "...";
		}
		return wrapAsHTML(replaceNewLines(truncString));
	}
Surrounds the originalString with HTML tags. It truncates the string at
truncLength number of characters and adds "..." if it is longer than truncLength.
It also replaces newline characters with HTML break tags.
<br>
Warning: The originalString should not contain special HTML tags. If it does,
they may get truncated in the middle of a tag.
@param originalString
@param truncLength truncate at this length
@return the truncated message string containing HTML tags.
Ghidra/Features/Base/src/main/java/ghidra/app/merge/util/ConflictUtility.java