java:make_prime