@Override
        public void batchChangeCompleted(@NotNull Project project) {
          if (project != myProject) return;

          //noinspection UseOfObsoleteCollectionType
          Stack<AccessToken> tokens = stack;
          if (!tokens.isEmpty()) { // just in case
            tokens.pop().finish();
          }
        }
@Override
        public void batchChangeCompleted(@NotNull Project project)