jflex warnings fixed