Library problem in jni.cc on Linux

[Tom Tromey]

>>>>> "Martin" == Martin Kahlert <martin.kahlert@infineon.com> writes:

Martin> 2001-05-04  Martin Kahlert  <martin.kahlert@infineon.com>

Martin> 	* prims.cc (JvRunMain): Make sure, that runtime has been
Martin> 	initialized before main_thread is started

Hi Martin.  I ended up rewriting this patch, and I'll be checking it
in shortly.  Thanks for the debugging.

Tom