Refactored for better testing, provide AlitheiaCore in Servlet
constructor