Get back to good old JFlex