private DiffHighlightingFilter getDiffFilter() {
Preconditions.checkNotNull(editor.getContent());
if (editor.getContent() != currentContentDoc) {
currentContentDoc = editor.getContent();
diffFilter = new DiffHighlightingFilter(currentContentDoc.getDiffTarget());
}
return diffFilter;
}