Uses of Class
jflex.core.unicode.IntCharSet