void (@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) { } } }