jflex fixes