{"library":"jetty-servlet-api","install":[{"cmd":"<dependency>\n  <groupId>org.eclipse.jetty.toolchain</groupId>\n  <artifactId>jetty-servlet-api</artifactId>\n  <version>4.0.9</version>\n</dependency>","imports":["jakarta.servlet.http.HttpServlet"]},{"cmd":"implementation 'org.eclipse.jetty.toolchain:jetty-servlet-api:4.0.9'","imports":[]}]}