fixes double quote capturing in string tokenization in Scanner.java