// robust against changes.
if (a.source().equals(b.source())
&& a.startLineNo() == b.startLineNo()
&& a.startCharInLine() == b.startCharInLine()
&& a.endLineNo() == b.endLineNo()
&& a.endCharInLine() == b.endCharInLine()) {
continue outerLoop;
}
}
}
++missing;