java/5810: unrecognized character in input stream

[apbianco@gcc.gnu.org]

Synopsis: unrecognized character in input stream

Responsible-Changed-From-To: unassigned->apbianco
Responsible-Changed-By: apbianco
Responsible-Changed-When: Fri Mar  1 20:43:30 2002
Responsible-Changed-Why:
    Mine.
State-Changed-From-To: open->feedback
State-Changed-By: apbianco
State-Changed-When: Fri Mar  1 20:43:30 2002
State-Changed-Why:
    I've been trying with the trunk (and I'm suspecting that the 3.1 branch behaves the same) and I wasn't able to reproduce a problem.
    
    I think this PR should be closed.

http://sources.redhat.com/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=5810