Reviewed and commented GroupElement.java.