int leftLine= diff.leftStart() + diff.rightLength();
int lOffset= fLeftDocument.getLineOffset(leftLine);
int lLength= fLeftDocument.getLineOffset(diff.leftEnd() - 1) + fLeftDocument.getLineLength(diff.leftEnd() - 1) - lOffset;
fRightDocument.replace(rOffset, rLength, fLeftDocument.get(lOffset, lLength));
return diff.leftLength() - diff.rightLength();
}
/**
* Returns the receivers initialization state.
*