public int translateControlCharacter(int c) {

        switch (c) {
            case DEL:
                return TerminalIO.DELETE;
            case BS:
                return TerminalIO.BACKSPACE;
            case HT:
                return TerminalIO.TABULATOR;
            case ESC:
                return TerminalIO.ESCAPE;
            case SGR:
                return TerminalIO.COLORINIT;
            case EOT:
                return TerminalIO.LOGOUTREQUEST;
            default:
                return c;
        }
    }// translateControlCharacter