Pointed toward JFlex+scala