[PATCH] BigInteger(int numBits, Random rnd) distribution not uniform

[Tom Tromey]

>>>>> "Mark" == Mark J Roberts <mjr@anarcast.net> writes:

Mark> The generated BigIntegers were consistently too large, so the
Mark> loop never exited. With this patch, our code works, and the
Mark> distribution seems even:

Thanks.  I'm going to check this in.  For those interested, there was
a brief discussion of the patch on java-patches.

Tom