@Override
      public void processTerminated(@NotNull ProcessEvent event) {
        if (getAssociatedHandler(contentFile) == JShellHandler.this) {
          // process terminated either by closing file or by close action
          contentFile.putUserData(MARKER_KEY, null);
          try {
            readerSink.close();
          }
          catch (IOException ignored) {
          }
        }
      }
@Override
      public void processTerminated(@NotNull ProcessEvent event)