Tutte le librerie sono nella cartella di tomcat, precisamente nella sottocartella "common/lib" e il jar dovrebbe essere "servlet-api.jar"
Non sono sicurissimo perchè non uso più tomcat, ma glassfish.