Uses of Class
jflex.IntCharSet