Patched JFlex.jar (SCL-2615)