Minor fix for Poisson sampler; further attempts to get Android-side enumeration