@Override for HttpServlet#init