93949596979899100101102103
return executor; } private ShellInfo createShellInfo(Branding branding) throws InitializationException { DefaultShellInfo rc = new DefaultShellInfo(branding); rc.initialize(); return rc; } public Terminal getTerminal() { return terminal;