private boolean documentChanged(long modificationStampBefore) {
    return myDocument.getModificationStamp() != modificationStampBefore;
  }
private boolean documentChanged(long modificationStampBefore)