Changing 'HttpNameLexer' to put back characters when an error occurs