JFlex testing