new JFlex.jar and Scanner with Strings