java/3477: make install fails with an error

[rodrigc@gcc.gnu.org]

Synopsis: make install fails with an error

State-Changed-From-To: open->closed
State-Changed-By: rodrigc
State-Changed-When: Sat Dec  1 23:09:57 2001
State-Changed-Why:
    Duplicate of PR 3281.  Fixed.
    http://gcc.gnu.org/ml/gcc-cvs/2001-07/msg00076.html

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&pr=3477&database=gcc