Make Servlet API dependency provided and optional