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