private static void copyRealLines(DiffLines from, DiffLines to, int offset) {
		copyRealLines(from, to, offset, from.size());
	}
Copies from the source to the destination all lines that are not placeholders.  If the 
two input lists are not the same after the copy, then the smaller list is padded with
placeholder lines.
Ghidra/Features/Base/src/main/java/ghidra/app/util/html/diff/DataTypeDiffBuilder.java