libgcj/gmp/mpz/tests
