Reviewed and commented Ed25519FieldElement.java.