Update scanner.jflex