public static void padLines(DiffLines leftLines, DiffLines rightLines) {
		int length = leftLines.size();
		int otherLength = rightLines.size();

		if (length == otherLength) {
			return;
		}

		int maxLength = Math.max(length, otherLength);
		for (int i = 0; i < maxLength; i++) {
			// special case (see docs for EMPTY_TAG)
			String paddingText = (i == 0) ? EMPTY_TAG : BR;

			if (i >= length) {
				leftLines.add(new TextLine(paddingText));
			}
			else if (i >= otherLength) {
				rightLines.add(new TextLine(paddingText));
			}
		}

	}
HACK: for some reason when opening the HTML document with '&#47;', all text until the
next HTML tag is not displayed.  So, we put in a dummy tag and all is well.
Java 1.5.0_12
Ghidra/Features/Base/src/main/java/ghidra/app/util/html/diff/DataTypeDiffBuilder.java