The method BigInteger.jacobiSymbol should be private and static.

A superflous check is in the Jacobi code, "if (u < p)"
This should be replaced iwth assert (u < p) because we believe by inspection that u will never be less than p at that point.

The primality checking of BigIntegerTest.java should be strengthened.