Group and GroupElement are now Serializable.