private void notifySessionStopped() {
    PyFrameListener.publisher().sessionStopped(this);
    for (PyFrameListener listener : myFrameListeners) {
      listener.sessionStopped(this);
    }
  }
private void notifySessionStopped()