addr2line and the name of the executable

[Mohan Embar]

Andrew> gnu.gcj.progname should probably be argv[0], unmangled by anuything.

That would mean that my patch would have _Jv_ThisExecutable() potentially
return something different than gnu.gcj.progname. Would we then need
a gnu.gcj.exename to put _Jv_ThisExecutable on equal footing with argv[0]?

-- Mohan
http://www.thisiscool.com/
http://www.animalsong.org/