Library for computation with finite fields in Java