JFlex lib.