text: public String getErrorDisplay(int c) {String s = String.valueOf((char)c);switch ( c ) {case Token.EOF :s = "<EOF>";break;case '\n' :s = "\\n";break;case '\t' :s = "\\t";break;case '\r' :s = "\\r";break;}return s;}