Silly Question: Equivalent of C argv[0] in GCJ?

[Tom Tromey]

>>>>> "Ranjit" == Ranjit Mathew <rmathew@hotmail.com> writes:

Ranjit> +  // The name used to invoke this process (argv[0] in C).
Ranjit> +  SET ( "gnu.gcj.progname", _Jv_ThisExecutable( ));

Could you also write a ChangeLog entry and a gcj.texi patch?
We're documenting properties these days.

Tom