FYI: Patch: jni.cc

[Tom Tromey]

>>>>> "Michael" == Michael Koch <konqueror@gmx.de> writes:

Michael> I commited the attached patch to trunk to remove a workaround
Michael> to avoid a compiler warning (unused argument) but produces a
Michael> different compiler warning now (statement has no effect).

Yeah, if we really want no warnings here, we should probably wrap the
arguments in the appropriate __attribute__ on some platforms.

Tom