>>> Also did the AMD64 JNI bug/issue get addressed?
>> No. This happens to be one of the "not-that-easy" things and I need more
>> time for it. So, expect next bugfix release somewhere middle/end of January.
>
> Just checking in with you on this. Any updates? No rush or anything,
> just curious.

Good question. At the moment I'm pretty sure that I have fixed it, but
to be sure, one has to check the ChangeLog. :)

Roman