BTW, I have published an updated version of JNIPort which partly resolves the 
performance issue caused by using #become:. 

Joachim 
-- 
My OpenPGP Key: 29F88108 available from hkp://wwwkeys.de.pgp.net

Reply via email to