changed some names i n JFlex example