Ejemplo de Java sacado de jFlex