changes to use JFlex 1.5
Merge pull request #3 from jimregan/patch-3

changes to use JFlex 1.5