April 8, 2014
6:18 a.m.
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