static void updateTimestamp(@NotNull PsiJavaFile file, @NotNull Editor editor) {
    editor.putUserData(MODIFICATION_COUNT, file.getManager().getModificationTracker().getModificationCount());
  }
static void updateTimestamp(@NotNull PsiJavaFile file, @NotNull Editor editor)