Added Scanner.match()