Add missing Servlet definitions