Adds JavaDoc to Mail and PetStore case studies