};

    private TextStreamOutputEventListener stdoutListener;

    private final DefaultUserInputReceiver userInput = new DefaultUserInputReceiver();
    protected final OutputEventRenderer renderer = makeOutputEventRenderer();
    protected final OutputEventListenerManager outputEventListenerManager = new OutputEventListenerManager(renderer);

    /**