Added a jflex file