Trying to fix the loss of servlet-api.jar