Make Servlet API dependency optional