}
}
String appName = WebProtegeProperties.get().getApplicationName();
String hostName = WebProtegeProperties.get().getApplicationHostName();
App.get().setMailManager(new MailManager(appName, hostName,
mailProperties, new WebProtegeLoggerMessagingExceptionHandler()));
}