added missing servlet-api.jar