@Override
        public void allSessionsClosed(com.jediterm.terminal.ui.TerminalWidget widget) {
          onTerminated.run();
        }
@Override
        public void allSessionsClosed(com.jediterm.terminal.ui.TerminalWidget widget)