A Java Implementation of the Rabin-Miller Method for primality checking