@Override
  public long getLastCommittedStamp(@NotNull Document document) {
    return getLastCommittedDocument(getTopLevelDocument(document)).getModificationStamp();
  }
@Override
  public long getLastCommittedStamp(@NotNull Document document)