ajustes na especificação jflex