Yes, you may have to manually include that JAR in your plugins lib folder if you’re building/compiling the plugin from source. Most of the runtime-level javax.servlet API libraries are typically packaged with the application server (e.g. Tomcat) in the application server native libraries (tomcat/lib/servlet-api.jar for Tomcat 9), so you shouldn’t need that library actually packaged in the plugin itself.