Re: JDK 9 RFR of 8042478: Include Mersenne primes in BigInteger primality testing