JFlex

Class IntCharSet