下载 Servlet API 库

要下载 Servlet API 库，你可以按照以下步骤进行操作：

1. 打开网站 https://tomcat.apache.org/download-90.cgi
2. 在“Binary Distributions”下，选择适合你的操作系统的版本，如“tar.gz”或“zip”。
3. 下载后，解压缩该文件。
4. 找到“lib”文件夹，其中包含有所有的Servlet API库。
5. 将所需的文件复制到你的项目中。

另外，如果你使用的是 Maven 项目，你可以通过添加以下依赖项来自动获取 Servlet API：

<dependency>
    <groupId>javax.servlet</groupId>
    <artifactId>javax.servlet-api</artifactId>
    <version>4.0.1</version>
    <scope>provided</scope>
</dependency>

这将在你的项目中添加 Servlet API 的依赖项，并确保在运行时由服务器提供。