A fast grammar-based tokenizer constructed with JFlex.