Use of another constructor for the scanner makes the source compatible with jflex 1.6 as well as earlier versions