removed mandatory start symbol—replaced with “None”
update to newer jflex.