/**
* Creates a new document event.
*
* @param doc the changed document
*/
public DocumentEvent(IDocument doc, int eventKind, Object eventInfo) {
assert doc != null;
fDocument = doc;
fEventKind = eventKind;
fEventInfo = eventInfo;
fModificationStamp = fDocument.getModificationStamp();
}
