text: public String getTokenErrorDisplay(Token t) {if ( t==null ) return "<no token>";String s = t.getText();if ( s==null ) {if ( t.getType()==Token.EOF ) {s = "<EOF>";}else {s = "<"+t.getType()+">";}}s = s.replace("\n","\\n");s = s.replace("\r","\\r");s = s.replace("\t","\\t");return "'"+s+"'";}