Scanner.java revision 3377