JFlex - The Fast Scanner Generator for Java
