nextLine.trim() could lead to erroneous results. For example, when a
line (which was not changed) starts with - or +. In unified diff, a
space is added in front of such a line...