// In the old days, one by one updates to active Swing components gave dreadful performance, so
// I changed that, but that wasn't really the problem, it was that the if part didn't honor
// maxMatches!
removeAllMatches();
final DefaultListModel newModel = new DefaultListModel();
newModel.ensureCapacity(matches.size());
//Two cases:
// 1) Trees contain file and sentence annotations -> we can display differences
// 2) Trees do not contain file and sentence annotations -> we display all matches with no differences
//