public synchronized void sessionStopped(@NotNull PyFrameAccessor frameAccessor) {
    int i = myFrameAccessors.indexOf(frameAccessor);
    if (i != -1) {
      myFrameAccessors.remove(i);
      mySubmittedTasks.remove(i);
    }
    if (myFrameAccessors.size() == 0 && myAsyncValuesExecutorService != null) {
      myAsyncValuesExecutorService.shutdownNow();
      myAsyncValuesExecutorService = null;
    }
  }
public synchronized void sessionStopped(@NotNull PyFrameAccessor frameAccessor)