JFlex 1.8.2 API