Uses of Class
java_cup.terminal