Synopsis: System doesn't set java.home property
State-Changed-From-To: analyzed->closed
State-Changed-By: tromey
State-Changed-When: Fri Jun 8 12:09:26 2001
State-Changed-Why:
I checked in the fix.
http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=3059&database=gcc