More minor fixes to MPFR Java

@andreistefanescu please review.