Update Scanner.jflex