@Override
  public void documentChanged(@NotNull DocumentEvent event) {
    myLastChangeTime = System.currentTimeMillis();
    myLastDocStamp = event.getOldTimeStamp();
  }
@Override
  public void documentChanged(@NotNull DocumentEvent event)