working on jflex
working on jflex