Re: Integer.parseInt("+42") gives -42

[Tom Tromey <tromey@xxxxxxxxxx>]

>>>>> "David" == David Daney <ddaney@xxxxxxxxxx> writes:

David> I am not an expert in this realm, but this may be small enough
David> so that an assignment is not necessary.

Yes, I agree, particularly because there is really only one fix for
this -- delete the '+' code.  Actually, the proposed patch doesn't
seem to go far enough in that direction... AFAICT a leading '+' is not
allowed at all; there's no reason to check for it specially.

Tom