libgcj/3523: java.io.LineNumberReader has a buggy reset() method.

[tromey@gcc.gnu.org]

Synopsis: java.io.LineNumberReader has a buggy reset() method.

Responsible-Changed-From-To: unassigned->tromey
Responsible-Changed-By: tromey
Responsible-Changed-When: Sun Jul  1 22:18:26 2001
Responsible-Changed-Why:
    I'm handling the PR.
State-Changed-From-To: open->closed
State-Changed-By: tromey
State-Changed-When: Sun Jul  1 22:18:26 2001
State-Changed-Why:
    I agree with the enclosed patch and I have checked it in.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=3523&database=gcc