[BUGFIX] Drop broken UTF-8 character from JFlex source.