add auto-cleanup of JNI detritus, since it can add up