eliminated incompatibility bug with jflex 1.4.3