The mail properties have been moved from webprotege.properties into the
new mail.properties
Merge branch 'master' of https://github.com/protegeproject/webprotege.git