jflex split